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

Working with academic communities to build scientific understanding

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