Zhang Yitang's unsolved problem broken by OpenAI! Humans join forces with GPT-6 in a two-week relay, leaving only a 5-page proof
An undisclosed internal model from OpenAI was the first to break through the number theory problem of the Siegel zero, and mathematicians then took over, compressing the proof to 5 pages in 12 days. On October 6, OpenAI publicly released more than 700 mathematical manuscripts, one of which was an 8-page paper proving that Landau–Siegel zeros arbitrarily close to 1 do not exist. 5 days later, University of Missouri mathematician William Banks wrote a 19-page detailed version and computed the constant that the original proof only knew to exist as 0.003; 4 days after that, Bryce Kerr of the Australian National University in Canberra used the pigeonhole principle to cut the proof to 6 pages and stated in the acknowledgments that ChatGPT participated in the derivation and writing. Oxford mathematician Ben Green ultimately gave a 5-page proof by contradiction, saying it came from collaboration with ChatGPT 6 Astra, and stated on the paper's first page that he does not claim any human originality. Zhang Yitang's 2022 paper had used 111 pages to give a weakened version of this problem.
An OpenAI internal model first provided the proof, and mathematicians then took over to compress the length to 5 pages, showing a collaborative division of labor in AI participation in mathematical research.