57-річний професор математики раптово залишає "залізну чашу рису" й іде працювати на свою 24-річну колишню студентку — ще десять років тому така історія стала б предметом жартів і пліток у наукових колах. А зараз? Це, можливо, найцікавіший сигнал для роздумів у сфері ШІ.

Головний герой цієї історії — Кен Оно, математик японського походження, який багато років пропрацював у Вірджинському університеті й мав у кишені козир — постійну професуру. Здавалося б, у такому віці можна вже спокійно насолоджуватись академічною славою. Але він різко змінює курс і приєднується до стартапу Axiom Math на посаді “головного математика” — звучить загадково, але по суті він очолює команду, яка тренує ШІ-моделі, розробляє тестові еталони й визначає науковий вектор.

Ще більш драматичним є те, що його нова начальниця — Хун Летун (Каріна Хонг) — лише 24 роки й вона була його студенткою. Наскільки вона крута? За 3 роки здобула два ступені MIT з математики й фізики, отримала найпрестижнішу для студентів математики Північної Америки премію Моргена, потім вступила на подвійний докторат зі Стенфорду (математика + юриспруденція), але на півдорозі кинула навчання заради стартапу. До того працювала у передовій команді ШІ в Meta, має потужні зв’язки, зібрала команду з колишніх дослідників Meta, і компанія, не встигнувши як слід стартувати, вже залучила $64 млн інвестицій, а оцінюється у $300 млн.

Чому Кен Оно наважився на такий крок? Він сам зізнається, що раніше не вірив у можливість ШІ займатися математикою, вважав ці моделі не більше ніж калькуляторами. Але коли на власні очі побачив, як сучасні ШІ-моделі справляються з математичними міркуваннями і доказами, його світогляд буквально перевернувся. Axiom Math має чітку мету: зробити ШІ справжніми “математиками”, які можуть самі міркувати, писати докази, проводити формальну верифікацію. Кажуть, вони вже розв’язали кілька задач, що десятиліттями не піддавалися науковому світу, а комерційні перспективи відкриваються — сфери фінансової інженерії, безпекового аудиту вже стоять у черзі.

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