Математически разсъждения в AI (Mathematical Reasoning in AI)

Математическите разсъждения в AI (Mathematical Reasoning in AI) изследват способността на моделите да разбират абстрактни логически конструкции, да изграждат многоетапни доказателства и да решават нетривиални математически проблеми.

Развитието на тестови изчисления (test-time compute) и специализирани цикли на верификация позволи на моделите да достигнат нивото на медалисти от международни математически олимпиади.