Terence Tao questions OpenAI's 719 AI-generated math proofs
Original title (Chinese)
陶哲轩质疑 OpenAI 公司：719 篇 AI 数学证明，人类真的理解了吗？
AISummary
OpenAI published 719 AI-generated math proofs covering 372 result families, after withdrawing 3 for a symbol error.
Reports say the release falls short of the AGMAI advisory group's standards, since it uses proprietary models, includes reasoning chains for only 10 manuscripts, and leaves about 42% unformalized.
Terence Tao argues that rapidly solving famous problems harms the mathematical community's understanding and collaboration.
Source: IThome · AI · ithome.comPublished · added here