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