夜谈称前沿模型自主科研能力逼近：Fable 5.2 30小时形式化费马大定理

@rickawsb 在2026年11月10日的“夜谈”中称前沿模型自主科研能力逼近，举例称 Fable 5.2 用30小时完成费马大定理的形式化，PSI 于11月6日使用一个未公开的 Anthropic 模型得到 Aaronson–Ambainis 猜想的新证明。 他还推测下一代前沿模型可一次解决700条物理问题、设计700种高温超导材料、将量子纠错能力提升700倍，并认为后续模型会把700变成7000。这些均为其个人推测与举例说法，报道未附独立验证。

AI 根据报道生成 · 52 分钟前更新

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