综合
7*24 快讯
AI科普
合作
全部
英雄令
项目方
开发者
产品方
投资者
1月18日,Eclipse创始人Neel Somani在X平台发文称,使用OpenAI最新高级模型GPT-5.2 Pro破解了一个著名的Erdős数学难题。数学家陶哲轩对此表示认可,认为这是‘AI解决开放问题的最明确案例’,并强调解答需谨慎理解。OpenAI总裁布罗克曼转发评论,称其为数学与科学进步的重要标志。GPT-5.2 Pro于2025年发布,擅长复杂任务推理与结构化输出,尤其在草拟证明和快速修改数学文本方面表现突出,但仍需人类专家校验结果。Erdős问题由匈牙利数学家保罗·埃尔德什提出,涵盖多个领域,难度分布广泛。陶哲轩指出,许多问题可能只是未被充分研究。
原文链接
加载更多
暂无内容