В академических кругах недавно прогремела большая новость.

57-летний математик мирового уровня внезапно объявил, что отказывается от своей пожизненной профессорской должности — чтобы пойти работать на свою 24-летнюю бывшую студентку.

Этого математика зовут Кен Оно, он много лет преподавал в Университете Вирджинии. Компания, к которой он присоединился, называется Axiom Math — это стартап, сосредоточенный на применении ИИ в математике, а основала его его бывшая студентка Карина Хонг (洪乐澜).

Интересно, что раньше Кен Оно не особо верил в то, что ИИ может заниматься математикой. Но недавние успехи моделей в рассуждении и доказательствах полностью изменили его мнение. Теперь он занимает в Axiom Math должность "главного математика-основателя", отвечает за обучение моделей, разработку стандартов тестирования и определение научного курса.

Axiom Math была основана совсем недавно, но уже привлекла финансирование в размере 64 миллиона долларов. Их цель проста: создать ИИ, способный к математическим рассуждениям, автоматическим доказательствам и формальной верификации, а затем применять это в науке, аудите безопасности, инженерной проверке и других реальных задачах.

Пару слов о самой основательнице. Карина Хонг окончила MIT по математике, затем поступила в Стэнфорд на двойную докторскую программу по математике и праву (JD+PhD). Уже в бакалавриате она была номинирована на премию Моргана — одну из высших наград для студентов-математиков. После выпуска она работала в передовой AI-команде Meta, где занималась математическим рассуждением, а затем собрала команду бывших исследователей Meta для основания своего стартапа.

Сейчас многие в отрасли считают, что появление Axiom Math — это сигнал: когда крупные языковые модели упираются в пределы рассуждения, именно математические способности могут стать следующей точкой прорыва. Приход Кена Оно в компанию в каком-то смысле можно считать голосом академического мира в поддержку этого направления.

Кстати, Кен Оно — японского происхождения, а Карина Хонг — китайского. Два поколения, более 30 лет разницы в возрасте, и теперь они снова в одной команде на новом AI-рубежe.