Hacker News · AI· optimalsolver·· 3 小时前AI 评分46
UT Austin 数学系主任称 OpenAI 正准备发布 400 个 AI 生成的数学证明
UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs
AI 导读
德克萨斯大学奥斯汀分校（UT Austin）数学系主任表示，OpenAI 正准备发布 400 个由 AI 生成的数学证明。相关成果展示了 OpenAI 在大模型数学推理与自动化证明方向的最新进展。
来源：Hacker News · AI · twitter.com