← All topics

math

4 products tagged "math", ranked by how many creators use or recommend them.

Related: theorem proving programming mathematics reasoning ai education books agents openai language model
GPT-5.4

GPT-5.4

 software
ai language model openai
2
Brilliant

Brilliant

 software
education learning math
1

MATH-500

 other
dataset benchmark math
1
Lean

Lean

 software
math theorem proving programming language
1