Математика подвластна ИИ: новый этап автоматизированного решения задач
Исследование демонстрирует, что современные системы искусственного интеллекта способны решать сложные математические задачи исследовательского уровня с использованием автоматизированного пайплайна и верификации на основе цитирования.



