一個基于強化學習優化的大型語言模型，專注于數學問題解決能力的提升。

PhET是科羅拉多大學開發的互動科學與數學仿真平臺，通過趣味模擬幫助學生學習。

用于識別數學推理過程中的錯誤