Перемога на вихідних: Доказ, який я подав для задачі Ердоса #397, був прийнятий Терренсом Тао. Доказ був згенерований GPT 5.2 Pro і формалізований за допомогою Harmonic. Багато відкритих проблем лежать там, чекаючи, поки хтось запропонує ChatGPT їх розв'язати:
Нитка:
25