• Google DeepMind представила ИИ Aletheia на базе модели Gemini Deep Think.
• Aletheia специализируется на математике и решает открытые математические задачи.
• Результативность модели пока слабая: 93,5% решений ошибочны или являются «подсознательным плагиатом».
• Aletheia проанализировала 700 открытых проблем из базы Эрдёша и нашла решение для 13 из них.
• Система работает по итеративному принципу «генерация - проверка - доработка», имитирующему научное рецензирование.
• Aletheia содержит модуль верификации на естественном языке для выявления логических ошибок в решениях.
• ИИ внес вклад в задачи о максимальном разрезе графа и о дереве Штейнера, применяя математические методы из несвязанных областей.
• Результаты демонстрируют ограничения подхода ИИ и его склонность к «подсознательному плагиату».

Среди наиболее значимых результатов — построение контрпримера, опровергающего гипотезу 2015 года в области субмодулярной оптимизации. Также ИИ внес вклад в задачи о максимальном разрезе графа и о дереве Штейнера, применив математические методы из несвязанных областей.