Может ли ИИ изобрести новую математику? Новая статья от DeepMind и известного математика Теренса Тао показывает, как это сделать. Используя AlphaEvolve, команда объединяет идеи, сгенерированные LLM, с автоматизированной оценкой, чтобы предложить, протестировать и уточнить математические алгоритмы. В тестах на 67 задачах по анализу, геометрии и теории чисел AlphaEvolve не только заново открыла известные результаты, но и часто улучшала их — даже обобщая конечные случаи в универсальные формулы. В паре с DeepThink и AlphaProof это указывает на будущее, где ИИ не просто помогает математикам — он сотрудничает с ними в процессе открытия.