International Mathematical Olympiad

🧠 Уэс Рот об AlphaProof: как ИИ научился решать задачи уровня лучших математиков мира