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 ...

Apple Notes in 2026 records audio with live transcription; embedded playback controls, clearer meeting notes are captured for review.

Apple at WWDC today announced a new Calculator app as part of iPadOS 18 that features special Apple Pencil support and a new Math Notes feature. Apple says the Math Notes calculator allows users to ...

Ramsey problems, such as r(4,5) are simple to state, but as shown in this graph, the possible solutions are nearly endless, making them very difficult to solve. We’ve all been there: staring at a math ...

Jacob Holm was flipping through proofs from an October 2019 research paper he and colleague Eva Rotenberg—an associate professor in the department of applied mathematics and computer science at the ...