X·2026-10-07 02:46· 9 天前AI 评分34

UT Austin 数学系主任称 OpenAI 准备发布 400 个 AI 生成的数学证明

UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs

AI 导读

UT Austin 数学系主任透露，OpenAI 正准备发布 400 个由 AI 生成的数学证明。

来源：X · twitter.com