ИИ уступил математикам в строгом тесте на решение новых задач
Новый тест First Proof показал, что современные системы ИИ уже могут решать сложные математические задачи, но пока не достигают уровня сильных специалистов. Лучшая модель справилась с шестью задачами из десяти.