ИИ Tencent опроверг гипотезу великого математика Яу

Tencent Hunyuan, ИИ-подразделение китайского гиганта, 2 ноября выпустила Hyra 2.0, своего агента для научных исследований. Главная фишка новой версии в том, что агент больше не просто решает задачки по одной. Он сам разрабатывает и дообучает научные модели и инструменты, которыми потом можно пользоваться снова и снова.

Самый громкий результат из математики. Шин-Тун Яу, один из самых известных математиков мира и лауреат Филдсовской премии, давно предполагал, что любое замкнутое многообразие с положительной кривизной допускает гладкое действие окружности, то есть скрытую симметрию вращения. Связка HyProver нашла контрпример: семимерное многообразие с положительной кривизной, на котором такого действия нет. По словам Tencent, доказательство проверили математики, статья лежит в открытом доступе. Есть оговорка: многообразие не односвязное, так что более строгая версия гипотезы пока держится.

Там же второй результат. Гипотезу Петти о равноудалённых точках раньше доказали только до размерности 4, это сделали в 2005 году. Hyra довела её до размерности 5: в любом пятимерном нормированном пространстве найдутся шесть точек на одинаковом расстоянии друг от друга.

Дальше пошла практика. Агент с нуля обучил HyInv, модель для дизайна белков всего на 1,96 млн параметров, которая по замерам Tencent обходит ProteinMPNN и ещё девять известных моделей по качеству и работает в десятки раз быстрее эталона. Веса и код выложены на GitHub вместе с белковой языковой моделью HyPLM-Flash на 650 млн параметров. Квантовый инструмент HyQEC построил код коррекции ошибок, который по эффективности примерно на 48% лучше прежнего лидера рейтинга qLDPC Challenge. А китайский процессор XiangShan на RISC-V после оптимизаций агента стал выдавать на 5,79% больше на каждый гигагерц.

Tencent говорит, что Hyra уже участвует в разработке следующей модели Hy. ИИ, который учит следующий ИИ и между делом закрывает вопросы, над которыми люди сидели десятилетиями, больше не фантастика из презентаций.