" Пять математиков изучали пространства отображений в так называемые «многообразия флагов» — объекты из алгебраической геометрии.
У них была гипотеза и численные подтверждения, но не было доказательства. Они разбили задачу на подзадачи возрастающей сложности и предложили их ИИ:
•Google Gemini DeepThink
•FullProof - внутренняя система Google DeepMind, специализированная для математики.
ИИ решил частные случаи, но застрял на обобщении. Тогда математики проанализировали его решения, увидели ключевую идею, переформулировали задачу и с новыми подсказками ИИ завершили доказательство.
Рави Вакил - соавтор работы и президент американского математического общества признаёт за ИИ способность к математическому прозрению, речь идёт о выводе, который сделал FullProof.
