Ключевые возможности Aletheia:
-
генерация и верификация математических доказательств на естественном языке с возможностью самокоррекции;
-
интеллектуальный поиск по научной литературе с использованием поисковых систем и браузинга, исключающий обращение к несуществующим источникам;
-
итеративный процесс рассуждения при решении сложных задач.
В области чистой математики Aletheia продемонстрировал следующие результаты:
-
полностью автономное написание научной статьи по арифметической геометрии;
-
анализ 700 открытых проблем из базы гипотез Эрдёша, в ходе которого четыре задачи были решены без участия человека, включая гипотезу Erdős-1051, решение которой привело к формулированию нового обобщения;
-
подготовка нескольких совместных с математиками статей, направленных в научные журналы.
В сфере компьютерных наук ИИ-агент достиг прогресса в классических алгоритмических задачах Max-Cut и Штейнера, применив теоретические результаты из других областей знаний. Также был построен контрпример, опровергающий десятилетнюю гипотезу в области онлайн-оптимизации субмодулярных функций.
В физических исследованиях Aletheia нашел новое решение сложных интегралов с сингулярностями для расчета гравитационного излучения космических струн через применение полиномов Гегенбауэра.
Модель Gemini Deep Think уже доступна для использования. Разработка открывает новые перспективы для автоматизации научного поиска и может стать мультипликатором возможностей исследователей, принимая на себя рутинные задачи по анализу литературы, верификации и вычислениям.
Ссылка на доступ к модели: goo.gle/4rMHUlq
