Tech Meridian ← К СУЩНОСТЯМ
PROМОЙ MERIDIAN EN

КОМПАНИЯ · ENTITY #24226

Ramamohan Paturi

Хронология связанных событий, источники и контекст из новостной базы.

ХРОНОЛОГИЯ СОБЫТИЙ

2

RESEARCH · 2 ИСТОЧН. · The Decoder · TechCrunch AI

OpenAI просит внешних экспертов проверить доказательства, созданные ИИ, утверждающие опровержение ETH

OpenAI заявляет, что внутренние модели сгенерировали рукописи, в том числе претендующее на опровержение гипотезы о экспоненциальном времени (ETH) и частичный результат, связанный с одной из задач тысячелетия. Компания опубликовала исходные материалы и формализации в Lean, финансирует независимую проверку и привлекла внешних экспертов (включая нобелевского лауреата) в качестве «кураторов» для оценки и интерпретации доказательств.

9.0

RESEARCH · 1 ИСТОЧН. · The Verge AI

OpenAI публикует три AI‑сгенерированных доказательства значительных результатов в математике, информатике и физике и назначает экспертных «кураторов»

OpenAI опубликовала AI‑сгенерированные материалы (включая формализации в Lean в некоторых случаях), утверждающие три крупных результата: доказательство локального сглаживания Согге (что затрагивает задачи Какея и ограничений Штейна), детерминированный субэкспоненциальный алгоритм, который, по заявлению OpenAI, опровергает Гипотезу экспоненциального времени (случай 3‑SAT), и строгий существующий результат для некоторых взаимодействующих калибровочных квантовых полей в четырёх измерениях, включая QCD. OpenAI сообщает, что независимые экспертные группы будут «курировать» проверку для результатов по информатике и физике (математика выпущена напрямую); материалы и Lean‑доказательства размещены на GitHub по просьбе групп, при этом физическая часть пока не опубликована полностью и все утверждения требуют внешней верификации.

9.0