Microsoft Math Solver is a free tool that uses AI to recognize both printed and handwritten math. It’s particularly strong with geometric proofs and interactive graphing, and it pulls learning ...
Henry Yuen is developing a new mathematical language to describe problems whose inputs and outputs aren’t ordinary numbers.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results