Hacker News：AI 热帖· joeymabia1·· 5 天前AI 评分57
OpenAI 新数学成果引发 AI 在科学发现中角色的讨论
OpenAI's New Math Breakthroughs Put AI's Role in Science Under the Microscope
AI 导读
OpenAI 于 10 月 6 日发布由内部前沿 AI 模型生成的数百项数学结果，并在 GitHub 公开研究材料、Lean 形式化证明、推理摘要和计算资源信息。
来源：Hacker News：AI 热帖 · medium.com