ИИ-система Claude, разработанная компанией Anthropic, подготовила первую полностью проверенную компьютером версию доказательства Великой теоремы Ферма всего за 11 дней. Об этом стало известно 4 сентября 2026 года. Доказательство состоит из 13 миллионов строк кода, что делает его крупнейшим доказательством, когда-либо созданным на платформе Lean, способной проверять математические доказательства. Великая теорема Ферма, высказанная еще в 1637 году, утверждает, что нет трех положительных целых чисел a, b и c, которые бы удовлетворяли уравнению aⁿ + bⁿ = cⁿ для любого значения n больше 2...

Компания OpenAI заявила, что её искусственный интеллект впервые в истории нашёл полное решение уравнений Навье–Стокса — одной из семи «задач тысячелетия», хотя математическое сообщество пока относится к этому скептически. Когда вы открываете кран с водой, смотрите на проплывающие облака или чувствуете дуновение ветра, вы становитесь свидетелями работы сложнейших физических процессов. Как описать их с помощью точных формул? Эту задачу более двухсот лет назад поставили перед собой лучшие умы человечества...