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