Mathtutor on Groq
Mathtutor on Groq 是一款基于 Groq 架构的 AI 辅导工具，通过语音识别功能接收数学问题，结合强大的数学引擎提供实时解题过程与答案。其主要功能包括语音输入、LaTeX 公式渲染、高精度计算及自然语言处理支持，适用于代数、微积分等领域的学习与教学辅助。此外，它还集成了 xRx 框架、Whisper 和 Llama 模型，确保高效且精准的问题解决能力。Mathtutor on G
数学竞赛
AlphaGeometry2
AlphaGeometry2 是谷歌 DeepMind 开发的 AI 系统，专用于解决国际数学奥林匹克竞赛中的几何问题。结合神经网络与符号推理技术，能高效预测几何构造并进行逻辑验证，解题准确率达 84%。系统具备扩展语言、强化推理引擎和优化搜索算法，可处理复杂几何问题，适用于数学教育、研究及工程计算等领域。
TongGeometry
TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。
