Post #608

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