陶哲轩
陶哲轩亲测点赞，o3-mini秒证图论难题！专家级证明完整呈现
陶哲轩分享了使用AI（o3-mini）辅助证明数学难题的故事，包括成功解决了Ruzsa-Szemeredi的三角形移除引理，但当面对研究级别的问题时表现不佳。他指出，大模型在快速提供标准论证细节方面是优秀的用例，但仍需用户详细引导和验证答案的准确性。
陶哲轩使用o3 mini一手测评来了：好坏参半
陶哲轩使用o3-mini模型研究图论中的三角形移除引理，并对其表现进行了测试。虽然模型能快速给出正确答案，但在更复杂的问题上仍需用户详细指导。陶哲轩认为目前的AI在解决标准问题时有效，但对偏门问题的帮助有限，需要更多用户引导或计算资源支持。
获陶哲轩认可！阿里QwQ-32B入选「AI数学奥林匹克竞赛」白名单模型
第二届人工智能数学奥林匹克竞赛（AIMO）认可阿里发布的推理模型QwQ-32B。该模型被纳入竞赛模型白名单，遵循三项设计原则：AI模型需符合人类参赛者的要求、特等奖条件和公共共享协议。著名数学家陶哲轩关注并认可QwQ-32B模型的进展，强调了白名单审批流程的重要性及其在推动竞赛创新中的核心作用。
