Математика: результаты OpenAI проходят проверку
По данным The Verge, OpenAI опубликовала почти 400 математических результатов, сгенерированных ИИ, с разными уровнями проверки. Их оценка ставит двойную задачу: проверить доказательства и убедиться, что формализованные утверждения действительно соответствуют выводам, представленным в рукописях.