热点广场 讨论区
🤖 AI前沿 量子位 · 2026-09-05

姚班校友主导,Claude攻克费马大定理首个完整形式化证明

最后靠Harness救回来...

🎧 听AI播报

时长 2:30

0:00 2:30

💬 讨论 (0)

👤