夜谈：前沿模型自主科研能力逼近，Fable 5.2 用30小时形式化费马大定理，PSI 用未公开 Anthropic 模型证明 Aaronson–Ambainis 猜想
不知道市场和人类是否准备好了接下来前沿模型一次解决700条物理问题，一次设计700种高温超导材料，一次提升量子纠错能力700倍，一次发现700个新慢性病靶点。。。...
AI 导读
@rickawsb 推测下一代前沿模型可一次解决700条物理问题、设计700种高温超导材料、将量子纠错能力提升700倍，并认为后续模型会把700变成7000。他举例称 Fable 5.2 用30小时完成费马大定理形式化；PSI 在11月6日使用未公开的 Anthropic 模型得到 Aaronson–Ambainis 猜想的新证明。