Hacker News AI· optimalsolver·· 13 天前AI 评分12
得克萨斯大学奥斯汀分校数学系主任：OpenAI 准备发布 400 个 AI 生成证明
UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs
AI 导读
得克萨斯大学奥斯汀分校数学系主任指出，OpenAI 正准备发布 400 个由 AI 生成的数学证明。
来源：Hacker News AI · twitter.com