Использовал рой агентов OpenAI Dots для побития 47-летней математической рекорда бесплатно (с верификацией доказательства в Lean)

Пользователь Reddit продемонстрировал применение роя агентов на базе OpenAI Dots для решения сложной математической задачи, побив рекорд, державшийся 47 лет. Процесс обошелся бесплатно, а итоговое доказательство было верифицировано с использованием системы Lean, что подтверждает его корректность.