科学“纯属疯狂”：数学家称理解OpenAI最新成果可能需要数年
OpenAI一次发布了近400项由人工智能生成的数学结果，分布在700多份手稿中。数学家表示，厘清这些成果可能要花数年；其验证程度参差不齐，形式化证明也只覆盖部分手稿。
TThe Verge★★★☆☆2026-10-09 19:09原文
“纯属疯狂”：数学家称理解OpenAI最新成果可能需要数年
科学科学科学OpenAI一次发布了近400项由人工智能生成的数学结果，分布在700多份手稿中。数学家表示，厘清这些成果可能要花数年；其验证程度参差不齐，形式化证明也只覆盖部分手稿。
TThe Verge★★★☆☆2026-10-09 19:09原文
科学Minutes Reader 扩展把原网页整理成专注的阅读版式，并可按需翻译原文与视频字幕。目前内测中，名额有限。