国际数学奥林匹克竞赛
一盘大棋！OpenAI「截胡」IMO金牌，奥特曼为GPT-5献上「核弹级」预热
OpenAI的通用推理模型在国际数学奥林匹克竞赛（IMO）中获得金牌，引发关注。陶哲轩认为，缺乏受控测试环境使得AI数学能力难以准确评估。
刚刚，Sam Altman宣布：GPT-5即将发布
Sam Altman宣布GPT-5即将发布，并称OpenAI的通用推理系统在2025年国际数学奥林匹克竞赛中达到了金牌水平的表现，这是向通用人工智能迈出的重要一步。
AI改变数学的一年！黎曼假说、朗兰兹猜想，盘点2024年数学里程碑
在2024年，数学界取得了多个里程碑式的成就。几何朗兰兹猜想的证明引发了广泛关注，人工智能在数学领域也取得了突破，如AlphaGeometry在国际数学奥林匹克竞赛中的表现。球堆积问题也有新进展，三位数学家反驳了米尔诺猜想。数论方面，黎曼假说取得重大突破，组合数学领域也有重要进展。这些成就预示着未来数学研究的新方向。