Что это?
ИИ для науки — это модели, ускоряющие само открытие: выдвижение гипотез, доказательство теорем, прогноз погоды, поиск новых материалов и чтение всей литературы за минуты. Многие исследователи считают, что именно здесь — а не в чат-ботах — ИИ сильнее всего изменит мир.
Ключевые инструменты и игроки
- DeepMind — AlphaFold, GNoME (материалы), GraphCast (погода), AlphaProof (математика)
- OpenAI — передовые модели для исследований; программа бесплатного доступа для 100 000 учёных (в наших материалах)
- Anthropic — Claude для научных рассуждений и исследований безопасности
- FutureHouse и проекты «ИИ-соучёного» — автономные исследовательские агенты
Вехи
- 2020 — AlphaFold2: первый научный прорыв ИИ нобелевского уровня
- 2023 — GNoME предсказывает 2,2 млн новых кристаллов; GraphCast обходит метеослужбы
- 2024 — AlphaProof достигает уровня серебряной медали на математической олимпиаде
- 2025 — LLM выходят на золотой уровень IMO; агенты-«соучёные» порождают гипотезы, подтверждённые в лаборатории
- 2026 — Claude находит слабости шифрования, упущенные экспертами; OpenAI открывает передовые модели 100 тысячам исследователей (оба сюжета — в наших материалах)
- Авг 2026 — превью Astra от OpenAI: команды агентов решают десять открытых задач математики и теоретической информатики с машинно-проверяемыми доказательствами в Lean (в наших материалах)
- Авг 2026 — Названные по именам математики оспаривают авторство ряда этих доказательств; OpenAI смягчает заявление о “десяти годах без прогресса” (наши материалы)
- Авг 2026 — первые полные геномы, спроектированные ИИ: 16 работающих бактериофагов, публикация в Science (в наших материалах)
- Авг 2026 — Опубликованная в Nature модель циклонов WeatherNext от DeepMind применяется в рабочем режиме Национальным центром ураганов США и выложена с открытыми весами под лицензией Apache 2.0 (в наших материалах)
- Авг. 2026 — Невыпущенная версия Claude поднимает нижнюю оценку нулей гипотезы Римана с 41,6 % до 67,2 % — крупнейший зафиксированный единовременный скачок, с машинно проверяемым доказательством (в наших материалах)
- Авг. 2026 — Palomar открывается для заявок: у математики появляется реестр, который машинно проверяет доказательства в Lean и поручает языковой модели подтвердить, что формулировка на обычном языке ей соответствует (в наших материалах)
Мини-словарь
- Соучёный: ИИ-агент, предлагающий гипотезы и помогающий их проверять
- Базовая модель: одна большая модель, адаптируемая под многие научные задачи
- Бенчмарк: стандартизированный тест для сравнения способностей моделей