Неопубликованная модель Anthropic достигла прогресса в одной из крупнейших нерешённых математических задач

Модель искусственного интеллекта Anthropic, которой ещё не был дан публичный релиз, смогла серьёзно продвинуться в решении гипотезы Римана — одной из самых известных нерешённых задач в математике. Без участия эксперта-математика модель скоординировала работу 60 подагентов, предложила и проанализировала 650 идей, и значительно расширила диапазон, для которого гипотеза доказуема. Результаты были подтверждены с помощью формального помощника Lean и проверены профессиональными математиками компании.

Этот успех стал частью растущей тенденции, когда большие языковые модели (LLM) не только помогают решать сложные математические задачи, но и самостоятельно выдвигают новые идеи и строят доказательства. Параллельно появляются опасения, что ИИ может изменить саму природу математики, в частности — вопрос об авторстве и ответственности за математические открытия, поскольку часть новых результатов будет невозможно приписать конкретному человеку. В то же время среди математиков сохраняется дискуссия о том, как интеграция LLM и мультиагентных систем повлияет на дальнейшее развитие науки.

📰 Источник