行业动态普通
数学家称消化 OpenAI 突然发布的近 400 项 AI 数学结果可能需要数年
原始标题:‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
内容摘要
OpenAI 本周突然发布近 400 项 AI 生成的数学结果,分布在 719 份手稿中,涵盖组合数学、数论、拓扑等多个学科,其中仅约 42% 已在 Lean 中形式化验证。
综合分类、实体标签与信息来源匹配