Hacker News · AI· optimalsolver·· 2 小时前AI 评分31
UT Austin 数学系主任称 OpenAI 准备发布 400 个 AI 生成的证明
UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs
AI 导读
UT Austin 数学系主任称 OpenAI 正准备发布 400 个由 AI 生成的数学证明。该说法来自 Hacker News 上的一则讨论，目前尚无 OpenAI 官方回应，也未披露涉及的模型版本或发布时间。
来源：Hacker News · AI · twitter.com