Openai昨天发布的722项数学证明中，有一个不起眼的证明（只是为了解决另一个猜想的一个伴随证明）.

只用了9页纸就解决了朗道-西格尔零点问题. 还通过了lean验证.

震惊瘫坐[呃R]

https://github.com/openai/math/blob/main/preprints/Uniform-exclusion-of-Landau-Siegel-zeros-October-1-2026/paper.pdf
#openai #ai #ai数学