доказательство
3 часа и 18 минут разницы: GPT-5.6 Sol Ultra позволила двум группам учёных одновременно совершить один и тот же квантовый прорыв
Две группы ученых независимо пришли к одному научному открытию с помощью одной модели ИИ.
Что делать, если персонажи обменялись телами слишком много раз? Сценарист Футурамы решил эту проблему — и доказал новую теорему
Шутка для мультфильма зашла так далеко, что математики позже писали к ней научные статьи.
Этот документ нельзя скопировать и нельзя прочитать дважды. Можно ли заменить квантовое доказательство обычным текстом?
Математики искали ответ 20 лет. Оказалось — нельзя. И вот почему.
Миллион долларов от Института Клэя, 160 лет молчания и страх перед машиной. Почему математики боятся ИИ, способного доказать гипотезу Римана
Машина, способная решить главную загадку простых чисел, будет уже не помощником, а интеллектом другого класса.
Пчелиные соты, 24 измерения и нейросеть. Как ИИ проверил главную математическую работу десятилетия
Ваш смартфон работает благодаря 24-мерным сферам, а теперь это подтвердил и компьютер.
200 лет ожидания и одна бессонная ночь. ИИ нашел связь между современной геометрией и формулами XIX века
Пока одни чатились с нейросетью, другая система взяла и доказала настоящую теорему.
22 года в забвении и «сверхчеловеческий» поиск. GPT-5 Pro нашла забытое доказательство задачи Эрдёша
Модель сопоставила формулировку с теоремой из рецензированного журнала.
Тест Гёделя пройден: GPT-5 первым из ИИ создал новую математику вместо решения старых задач
Искусственный интеллект впервые справился с задачами уровня настоящих открытых исследований.
ИИ впервые самостоятельно решил новую математическую задачу
ChatGPT-5-pro помог учёному доказать новую теорему.
Ученик, которого не существует, взял золото на главной олимпиаде мира
OpenAI решил не делиться своим самым умным ИИ — пока.
Игла, которая сломала мозг: загадка Какеи решена
Сто лет математики крутили иголку. И наконец докрутили.
Математики нашли доказательство 122-летней головоломки «Треугольник-квадрат»
Вековая загадка геометрии получила окончательный приговор.
Как в США чуть не узаконили неверное значение числа π
История математической ошибки, ставшей политическим казусом в США.
Трёхмерная гипотеза Какеи доказана спустя 50 лет
Открытие, которое может изменить всю теорию гармонического анализа.
Смерть ребенка и фальшивые улики: как сомнительные технологии подрывают веру в систему
Очередной скандал в США с использованием цифровых доказательств.
Загадка корней полиномов: 85 лет поисков и одно доказательство
Решение гипотезы ван дер Ваардена открывает новую эпоху в теории чисел.
Тайны Дарвина: почему теория естественного отбора осталась без убедительных доказательств
Почему ключевые доказательства эволюции так и не были найдены.
От военных преступлений до суда: как ИИ превращает записи в улики
ИИ может сделать записи пригодными для использования в суде.
Доказательство Бога: как Гедель заставил математику заговорить о вере
Некоторые математики искали логическое доказательство существования Бога. Вот что они обнаружили