介绍内部模型产出的数学结果、证明材料,以及支持数学界理解成果的后续计划。
集中存放数学稿件、证明材料、推理摘要和版本说明。
保留首次公开时的说明,记录 722 篇稿件、372 个关联稿件组及结果的生成方式。
按关联结果列出稿件与摘要,可从各篇标题进入对应的 PDF。
按关联稿件组介绍这批数学结果,帮助读者了解整个集合的内容。
列出三篇撤回的原因与依赖关系,以及其他稿件修订和后续更新。
稿件自身说明符号错误如何使证明失去关键支撑,并影响依赖它的其他稿件。
陶哲轩介绍自己参与签署的声明,讨论 AI 公司与数学研究之间的目标失配。
陶哲轩博客转载的客座文章,由 AHM 传播工作组署名,回应 OpenAI 此次发布。
说明顾问身份不等于为结果或生成过程背书,并表示将继续与前沿实验室沟通。
提出模型访问、成果发布、引用和支持人类理解数学结果的建议。
本人留言回顾学术研讨会、访谈片段用于广告的经历,以及与科技行业交流的看法。