OpenAI просит внешних экспертов, включая лауреата Нобелевской премии, проверить доказательства, созданные её ИИ
decoder ·
OpenAI привлекла внешних экспертов, включая лауреата Нобелевской премии, для проверки доказательств, сгенерированных её моделями ИИ в области математики, информатики и физики. В сфере информатики ИИ утверждает, что опроверг гипотезу об экспоненциальном времени, что бросает вызов фундаментальным предположениям о сложности задач и может повлиять на работу решателей задачи выполнимости (SAT). Отдельный математический результат касается локального сглаживания для волн во всех размерностях, что также подразумевает решение конъектур Какеи и Штейна. В физике ИИ заявляет о доказательстве математического существования теории Янга-Миллса в четырёх измерениях, затрагивая часть проблемы тысячелетия, но не связанную с ней проблему массовой щели. Каждая область проверяется отдельными группами специалистов; OpenAI предоставляет исходные данные и переводы в формате Lean для содействия независимой проверке. Компания подчеркивает, что не претендует на научное признание, а стремится поддержать строгую рецензию через финансирование и прозрачность. Эта инициатива следует за предыдущими скандалами, побудившими OpenAI занять более осторожную позицию в отношении атрибуции и валидации открытий, сделанных с помощью ИИ.
decoder