OpenAI被指暂缓发布数百项AI数学证明

OmniTools 9月19日消息，据德州大学奥斯汀分校教授Scott Aaronson近期博文披露，其女儿调侃“想当数学家大概只剩两周了”，反映AI在数学证明领域进展迅速。Aaronson在文中列举了过去一个月内AI参与解决的多个长期开放问题，包括雅可比猜想反例、经Lean验证的费马大定理及量子复杂性理论难题等。

文中提及一则传闻称，部分AI公司因此前在纳维-斯托克斯方程证明上遭遇负面公众反应，正暂缓公开若干“非常重大的问题”的AI解法，具体细节未说明。

需注意，该信息源自知乎平台一则问答摘录，内容属个人博文陈述，尚未获OpenAI官方证实。