GPT-5.2 и ИИ Aristotle решиха 50-годишната математическа задача на Ердьош

На 6 януари 2026 г., комбинация от GPT-5.2 Pro и математическия изкуствен интелект Aristotle от стартъпа Harmonic реши задачата на Ердьош №728 — отворен проблем за делимостта на факториелите, поставен през 1975 г. от Пол Ердьош, Роналд Греъм, Имре Руза и Ернст Щраус. Доказателството беше формализирано в proof assistant Lean и верифицирано машинно.