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/