Гипотеза о прямой конечности, вошедшая в число задач, рассмотренных на примерах групп.
OpenAI опубликовала на GitHub набор из 722 математических исследований, созданных внутренней моделью, недоступной широкой публике, и включающих результаты, распределённые по 372 семействам задач. Компания подчёркивает, что работы находятся на разных этапах проверки, а лишь часть из них прошла верификацию с использованием Lean.