Canonical event

Yu and Yu publish GPT-6 Astra-assisted candidate counterexample to the Alon–Krivelevich conjecture

Junran Yu and Gexin Yu submitted an arXiv preprint on 30 October 2026 presenting a family of bipartite graphs and a lower bound that would disprove the 1998 Alon–Krivelevich O(log Delta) list-choosability conjecture. The authors explicitly attribute finding the counterexample and proof to GPT-6 Astra used via xean, say they independently verified all mathematics, and take full responsibility. The event here is a dated author-verified preprint and AI-use declaration, not conclusive independent peer review or general model self-improvement.