数学推理相关资讯

OpenAI数学证明未达学界标准，指南之争浮出水面

TechCrunch报道，OpenAI近期发布大量数学证明，却偏离了由数学研究者为其制定的指南。这些证明被指缺乏严格形式化、未充分引用文献，也未经过同行评审，引发数学界对AI生成数学结果可信度的质疑。事件折射出AI公司追求基准突破与学术规范

OpenAI宣称其推理模型成功证伪了一个自1946年以来悬而未决的几何猜想。与上次闹出笑话的虚假宣称不同，这次当初揭露其错误的数学家们竟然站出来为其背书。这一突破标志着AI在数学推理领域迈出了坚实一步，也引发了关于AI能否真正理解和证明数学