20 жовтня 2026 року в черговому списку arXiv з'явилися роботи, де математики прямо вказують на допомогу моделей на кшталт ChatGPT-6 Astra.
Серед них — доведення гіпотези Ердеша–Семереді про соняшники для будь-якого k ≥ 3. Автори зазначають, що центральну теорему знайшла саме ChatGPT-6 Astra Pro.
Раніше був відомий лише випадок k = 3, отриманий у 2016 році завдяки прориву з cap-set. Тепер заявлено явне покращення: розмір сімейства без k-соняшника обмежений величиною, меншою за 2^n.
У тому ж списку — інші результати за участю ШІ: оцінка для гіпотези Бородіна–Косточки, покращення часу розв'язання задач цілочислового програмування та контрприклади до гіпотези Арвесона в комутативному випадку.
Багато авторів пишуть, що модель пропонувала ключові кроки або повні доведення, а люди їх перевіряли й оформлювали. Деякі роботи супроводжуються згадками про Lean-перевірки, хоча файли поки не опубліковані.
Усі заявлені результати чекають на незалежне рецензування. Поки вони залишаються в статусі «очікує перевірки».
