OpenAI утверждает, что её модели опровергли Гипотезу об экспоненциальном времени, а авторы гипотезы проверяют доказательства

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