Seonglae ChoAI Math Notion
Math AI Model
Automating Math—Asterisk
Computers can already help verify proofs. One day soon, AI may be able to come up with new ones.
https://asteriskmag.com/issues/09/automating-math
Easy Tool
Symbolab - AI Math Calculator
Symbolab: equation search and math solver - solves algebra, trigonometry and calculus problems step by step
https://www.symbolab.com/
Frontier Math
openai gpt, anthropic fable
Ten advances in mathematics and theoretical computer science
OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.
https://openai.com/index/ten-advances-in-mathematics/
