Останнім часом в академічних колах вибухнула велика новина.

57-річний математик світового рівня раптово оголосив, що відмовляється від своєї постійної професорської посади — щоб піти працювати на свою 24-річну колишню студентку.

Цей математик — Кен Оуно, який багато років викладав у Вірджинському університеті. Він приєднався до компанії Axiom Math — стартапу, що спеціалізується на AI для математики, заснованого його колишньою студенткою Каріною Хон (洪乐澜).

Цікаво, що раніше Кен Оуно не дуже вірив у можливості AI для математики. Але нещодавні досягнення моделей у сфері міркувань і доведень повністю змінили його думку. Тепер він працює в Axiom Math як "головний математик", відповідає за навчання моделей, розробку стандартів тестування та визначення напрямків досліджень.

Axiom Math була заснована зовсім недавно, але вже залучила $64 мільйони інвестицій. Їхня мета чітка: створити AI, здатний до математичних міркувань, автоматичних доведень і формальної верифікації, а потім застосувати ці технології у наукових дослідженнях, аудиті безпеки, інженерній верифікації та інших реальних сферах.

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

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

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