OpenAI опубликовал результаты по 377 математических задачам, охватывающим алгебру, теорию чисел, теоретическую информатику, математическую логику и топологию, following its earlier claim of solving the Navier-Stokes equation, a Millennium Problem with a $1 million prize. Результаты использовали unreleased advanced AI модель и проверялись с помощью системы проверки Lean, с средним временем вычисления около трех часов на решение. OpenAI сказал, что incorporating feedback from an independent advisory board hosted by the Institute for Advanced Study в Princetone, N.J., который включает в себя математика Harvard Melanie Wood. Совет призвал к прозрачности, требуя вывода prompts AI и цепочек мыслей, и критиковал AI компании за тестирование проприетарных моделей на нерешенных проблемах. Несмотря на это, OpenAI продолжает внутренние исследования, с research lead Dan Roberts утверждая, что это помогает строить лучшие инструменты. Математик NYU Tristan Buckmaster предупредил, что ИИ может быть completing proofs с использованием предыдущей работы математиков, вызывая опасения по поводу зачета и оригинальности в ИИ-помощном открытии.
Источник: New York Times Top Stories · Сводку подготовил HeadlinesBriefing