Post #418088
4

OpenAI опубликовала сотни математических результатов, полученных внутренней экспериментальной ИИ-моделью, и одновременно вызвала дискуссию среди математиков о том, как такие работы должны проверяться и включаться в научное знание. В открытый репозиторий вошли 722 рукописи, объединённые в 372 семейства связанных результатов по чистой математике, теоретической информатике и математической физике. Модель проверяли примерно на 4000 исследовательских задачах.