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