Lean
OpenAI представила доказательство по задаче Навье—Стокса, полученное ИИ
ИИ помог доказать возникновение сингулярности в гладком течении
Доказательство последней теоремы Ферма впервые перевели в проверяемый код