Lean

AIがフェルマーの最終定理の証明を11日間で形式化、全体を機械検証可能に

フェルマーの最終定理を端から端まで機械検査できるLean形式証明が完成した。Anthropicによると、Claudeを中心とするAIエージェント…