2026-09-24 自带裁判的科学，最先被AI攻下 费马留下猜想，人类追了三百多年，Claude补上机器验证只用了十一天。科学不是被AI从正门攻破的，是从裁判最铁面的那扇侧门进来的。 #费马大定理 #Lean形式化验证 #机器证明 READ MORE →