Ніл Сомані вирішив проблему Ердоша?
Neel Somani
Neel Somani11 січ., 13:00
Перемога на вихідних: Доказ, який я подав для задачі Ердоса #397, був прийнятий Терренсом Тао. Доказ був згенерований GPT 5.2 Pro і формалізований за допомогою Harmonic. Багато відкритих проблем лежать там, чекаючи, поки хтось запропонує ChatGPT їх розв'язати:
Коли КТ розпадається, цікаво бачити старих персонажів у дикій природі
44