ИИ совершил прорыв в математике

Разработчики представили серию новых математических результатов, полученных с помощью продвинутой нейросети. Все данные, включая формальные доказательства на языке Lean, теперь доступны в открытом репозитории на GitHub.

Команда консультировалась с экспертами из Института перспективных исследований, чтобы сделать результаты максимально прозрачными и удобными для научного сообщества. К каждому доказательству приложены подробности: от логики рассуждений модели до затраченных вычислительных мощностей.

В среднем на одну задачу у ИИ уходило около трех часов работы в режиме «размышления». В будущем компания планирует финансировать конференции и воркшопы, чтобы вместе с учеными глубже изучать возможности нейросетей в фундаментальной науке.

рекомендуем:
@WiredJournalRussia