李诞称数学家配公开GPT-6 Astra胜过OpenAI内部模型组合

李诞（@lidangzzz）发文称，他相信有品位的顶级数学家配合公开的 GPT-6 Astra，能胜过 OpenAI 内部没有品味的数学家搭配更强的超级内部模型。这是他的个人观点，并非已验证的结论。 他认为阻碍在于顶级数学家几乎没用过 lean4，许多人从内心认为这类形式化证明工具是纯垃圾，不如大脑加手敲 latex。他表示年初向众人提起这一想法时，第一反应是被骂不懂 pure math。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。