Нобелевские лауреаты доказывают теоремы с помощью ИИ — 8 июня 2026 г. в 10:07:20.345
Нобелевские лауреаты доказывают теоремы с помощью ИИ Лауреат премии по физике 2021 года Джорджио Париси, один из ключевых в мире теоретиков квантового поля, опубликовал новую научную работу на платформе arXiv. Примечательно в ней то, как именно исследователи получили итоговое доказательство. Париси и его младший коллега, Франсеско Зампони использовали для работы модели от Anthropic — Claude Sonnet 4.6 и Opus 4.7. Нейросети помогли вывести доказательство, после чего авторам работы осталось лишь проверить расчеты за искусственным интеллектом. Использование больших языковых моделей в фундаментальной науке перестает быть экзотикой и быстро становится стандартом индустрии. ИИ окончательно перешел от роли продвинутого редактора текста к статусу полноценного научного соавтора, способного решать задачи нобелевского уровня. https://arxiv.org/abs/2606.03300