#
Math
AI tools tagged Math.
AlphaGeometry
DeepMind's neuro-symbolic system that solves olympiad geometry problems
DeepSeek-Math
DeepSeek's open-weight model specialized for mathematical reasoning
LLeMA-7B
EleutherAI's open model continually pretrained on math and science text
Mathstral
Mistral's math-specialised model derived from Mistral 7B
o3
OpenAI's deep multi-step reasoning model for hard technical problems
Orca-Math
Microsoft's small model specialised in grade-school math word problems