2026
Задачи Эрдёша
Системы закрыли несколько открытых задач из списка, за который не брались сильные математики. Первый случай нового проверяемого результата, а не пересказа известного.
Вехи на линии · РУБЕЖ
ИИ-исследователь
Не помощник учёного, который ищет статьи и считает таблицы, а автор: сам выдвигает гипотезу, сам ставит эксперимент и сам делает вывод, который раньше никто не знал.
Момент, когда ИИ начнёт двигать науку сам, — точка перелома всего таймлайна: скорость прогресса перестанет определяться числом людей в отрасли.
СтатусРУБЕЖ
ТипВехи на линии
Отметка?
Что уже есть5
Исследовано
В процессе
сейчас
Почему математика первая
Формальный язык доказательств даёт то, чего нет в остальной науке: результат проверяется автоматически, без эксперимента и без доверия к автору.
сейчас
Замкнутый цикл открытия
Автономные лаборатории дали исполнительный орган; не хватает генерации по-настоящему новых гипотез.
В планах
в планах
Выход за пределы математики
Перенести проверяемый цикл в химию и биологию, где эксперимент стоит денег и времени, а не секунды процессора.
Дальние перспективы
впереди
Статья без соавтора-человека
Публикация, принятая рецензентами, где вклад человека — только постановка задачи.
Вехи на линии
На линию