Microsoft представила модель rStar-Math для математических рассуждений и решения задач

Никаких предпосылок к этому пока не видно. Языковые модели не выходят за рамки решения стандартизированных математических задач. Такими темпами они в ближайшем будущем, вероятно, смогут решать их лучше/быстрее людей (условно, побеждать на IMO), как это произошло с настольными играми. Задачи тысячелетия - совершенно другой уровень.