#OpenAI攻破数百个数学难题# 数学界昨夜无眠。

OpenAI在GitHub上一次性放出722篇数学手稿，覆盖372个“结果家族”，涉及数百个困扰数学家几十年甚至上百年的未解难题。

几个关键点：
· 准黎曼猜想被证明——将ζ函数无零点区域推进到实部>7/8，并排除了朗道-西格尔零点，这是解析数论半个世纪的重大突破（但不是完整黎曼猜想）
· 唯一游戏猜想被证明为定理，锁死了近似算法的理论极限
· CM阿贝尔簇上的霍奇猜想特例被攻克
· 平均每个成果只用了约ChatGPT Pro 3小时的算力

争议也来了。此前27位菲尔兹奖得主联名批评AI公司把数学难题当跑分工具，仓促发布不给学界消化时间。OpenAI回应成立了9人独立顾问组，但顾问组没有“刹车权”。

AI能解题，但判断对错、理解意义，还得靠人类数学家。数学的未来，可能不是“谁解得快”，而是“谁问得好”。

#AI数学突破# #OpenAI# #微博AI创作季#