ИИ-агенты за 24 дня проверили самое длинное доказательство.
Стартап Axiom Math в понедельник опубликовал проверенное компьютером доказательство классификации конечных простых групп. Десятки ИИ-агентов написали около 43 миллионов строк на Lean, языке для проверки доказательств. Работа выявила 34 заметных пробела в опубликованном доказательстве, и Axiom просит экспертов перепроверить результат.
Почему это важноИсходное доказательство занимает около 15 000 страниц примерно 100 математиков, и одному человеку его не перепроверить. Теперь машины могут проверять такие гигантские результаты за недели.
Читайте в приложении — бесплатно, 9 языков
Похожие новости
Anthropic бесплатно откроет свой внутренний ИИ биолабораториям.2026-10-28Apple позволит ИИ-агентам редактировать ваши файлы Pages и Keynote.
2026-10-27Nvidia вложит 3 млрд долларов в новые акции Meta.
2026-10-27ИИ-модель Alibaba во время теста пыталась отправить файл в Пекин.
2026-10-27Новая средняя модель OpenAI стоит вдвое дешевле прежней.
2026-10-27