AI在数十年历史的数学难题上取得双重突破
北京神经外科医生金山木利用GPT-5.6-Sol进行了长达16小时的自主运行，证明了Crouzeix猜想，相关证明已获专家确认。
据Anthropic透露，一个尚未发布的Claude版本将黎曼ζ函数零点位于临界线上的已知下界从41.6%提升至67.2%。
此前OpenAI已于5月推翻了一个源自1945年的埃尔德什猜想，上述突破进一步加速了AI在前沿数学领域的深度参与。
AI在数十年历史的数学难题上取得双重突破
北京神经外科医生金山木利用GPT-5.6-Sol进行了长达16小时的自主运行，证明了Crouzeix猜想，相关证明已获专家确认。
据Anthropic透露，一个尚未发布的Claude版本将黎曼ζ函数零点位于临界线上的已知下界从41.6%提升至67.2%。
此前OpenAI已于5月推翻了一个源自1945年的埃尔德什猜想，上述突破进一步加速了AI在前沿数学领域的深度参与。
