openai/math
This repository contains mathematical manuscripts and supporting proof artifacts produced by an unnamed internal OpenAI model.
- Stars
- 16k
- Forks
- 1.8k
- Open issues
- 0
- Last push
- today
About math
math is a free, open-source AI developer tool by openai, written mainly in Lean. This repository contains mathematical manuscripts and supporting proof artifacts produced by an unnamed internal OpenAI model. It has 16k GitHub stars and 1.8k forks, and was last updated today. It's released under the Apache-2.0 license, a standard open-source license.
- License
- Apache-2.0
- Commercial use
- Commercial OK
- Language
- Lean
- Stars
- 15,604
- Last update
- today
- Runs on Mac
- Not stated
- GPU
- Not stated
- Paid API key
- Not stated
- Self-hostable
- Not stated
Similar free tools
All Dev tools & SDKs tools →
math FAQ
Can I use math commercially?
Yes. Apache-2.0 is a permissive license: commercial use is allowed as long as you keep the license notice. This is a plain-English summary, not legal advice.
Is math free?
Yes. math is open source and free to use. It's released under the Apache-2.0 license, a standard open-source license.
Does math run on a Mac?
The project doesn't say. Check its installation guide before you start.
Does math need a GPU?
The project doesn't state hardware needs. AI models generally run much faster with a GPU.
Is math still maintained?
Yes. It was last updated today and has 0 open issues on GitHub.
What are alternatives to math?
Similar free, open-source tools include deepseek-laravel.
Maintain math?
Add this badge to your README to show it's featured on FreeAIRepo.
[](https://www.freeairepo.com/repo/openai/math)