Google DeepMind представила революционный ИИ Aletheia, который покорил математические вершины. Этот агент для доказательств теорем набрал 91,9% на бенчмарке IMO-ProofBench Advanced - самом сложном публичном тесте в стиле Международной математической олимпиады. Это абсолютный рекорд, обогнавший всех конкурентов. Живет Aletheia на движке Gemini Deep Think. Его мозг работает в цикле из трёх этапов: генерация идей, проверка на ошибки и корректировка. Это позволяет создавать точные доказательства быстрее и дешевле, чем у топовых версий Gemini. Реальные победы над нерешёнными задачами Aletheia не только прошла тесты. Она решила четыре открытые проблемы из списка Эрдеша - задач, которые десятилетиями мучили математиков. Одна из них, похоже, была абсолютно новой и нигде не решена раньше. ИИ самостоятельно написал научную статью с верными результатами, а также в роли ассистента он помогал реальным математикам в серьёзных исследованиях. Почему это меняет всё в ИИ DeepMind называет Aletheia живым доказательством законов масштабирования. Даже в сложной доказательной математике качество растёт предсказуемо, если добавить умную обвязку в виде циклов самопроверки. Главный бонус - больше точности за меньшие вычисления. Не нужно просто наращивать мощь - достаточно правильного процесса. Это открывает двери для ИИ в математике. От самостоятельных открытий до помощи исследователям. Aletheia - шаг к тому, чтобы искусственный интеллект стал полноправным соавтором математических прорывов.