20 октября 2026 года в очередном списке arXiv появились работы, где математики прямо указывают на помощь моделей вроде ChatGPT-6 Astra.
Среди них — доказательство гипотезы Эрдёша–Семереди о подсолнухах для любого k ≥ 3. Авторы отмечают, что центральную теорему нашла именно ChatGPT-6 Astra Pro.
Ранее известен был только случай k = 3, полученный в 2016 году благодаря прорыву с cap-set. Теперь заявлено явное улучшение: размер семейства без k-подсолнуха ограничен величиной меньше 2^n.
В том же списке — другие результаты с участием ИИ: оценка для гипотезы Бородина–Косточки, улучшение времени решения задач целочисленного программирования и контрпримеры к гипотезе Арвесона в коммутативном случае.
Многие авторы пишут, что модель предлагала ключевые шаги или полные доказательства, а люди их проверяли и оформляли. Некоторые работы сопровождаются упоминаниями Lean-проверок, хотя файлы пока не опубликованы.
Все заявленные результаты ждут независимой рецензии. Пока они остаются в статусе «ожидает проверки».
