Hacker News AI54UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs2026/10/07 02:46· 7天前OpenAI / ChatGPT模型发布模型发布查看原文（Hacker News AI）分享海报（1080px）导出 Markdown