Искусственный интеллект и математическое доказательство: Сотрудничество Google с учеными

Группа из пяти математиков работала над сложной задачей, связанной с «многообразиями флагов» – объектами алгебраической геометрии. Несмотря на наличие гипотезы и некоторых числовых подтверждений, у них не хватало полного доказательства.

Чтобы решить задачу, математики разбили ее на последовательность подзадач, возрастающих по сложности, и обратились к искусственному интеллекту. В частности, они использовали Google Gemini DeepThink и систему FullProof, разработанную Google DeepMind для математических расчетов.

ИИ успешно решал отдельные случаи, однако столкнулся с трудностями при обобщении решения. Математики тщательно изучили предложенные ИИ результаты, выявили ключевую идею и, используя ее, переформулировали задачу. В результате, с новыми подсказками, ИИ завершил доказательство.

Рави Вакил, соавтор работы и президент американского математического общества, отметил способность ИИ к математическому прозрению, выразив признательность системе FullProof за найденный вывод.