AI的發展 AI+formal system
Aristotle怎麼做到IMO級別
Prover Agent的架構 Lean語言
AlphaGeometry2的幾何證明策略
Erdos
problem forum