Unleash your creativity with the world’s best virtual manipulatives!
Brilliant | Your Personal Tutor for Math and Coding
Visual, interactive tutoring in math and coding, from 5th grade through college. Master concepts in algebra, calculus, Python, computer science, and more.
Math Notepad
Math Notepad is a web based editor to do mathematical calculations and plot graphs. It supports real and complex numbers, matrices, and units.
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools. By Jarod Alper
Kill Math
The power to understand and predict the quantities of the world should not be restricted to those with a freakish knack for manipulating abstract symbols.
The Myth and Magic of Generating New Ideas
A mathematician on how to get the mind into motion.
Uri Bram 🔍 on Twitter / X
So I got memed into trying MathAcademy and it was one of the weirdest product experiences of my life. In short: I think they have an amazing product, but they're very opinionated about how you use it, and as a result I can't use it at all.Basically: they've figured out some…— Uri Bram 🔍 (@UriBram) January 16, 2025
The AI Revolution in Math Has Arrived | Quanta Magazine
AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.
We’re gonna need a lot more mathematicians
[This is a guest post by Amit Sahai. This blog post was initially written in a different file format and converted using AI. — T.] When I was an undergraduate student, I remember talking with…
Announcing the Advisory Group on Mathematics and Artificial Intelligence
[This is a guest post by the Advisory Group on Mathematics and Artificial Intelligence. This blog post was initially written in a different file format and converted using AI. — T.] We would …
I’ll write romance novels if AI solves all maths, Chinese Fields winner jokes
As AI models prove they can push the boundaries, mathematicians are grappling with the threat that they could become obsolete.
Fidget
Fidget is a library for representing, compiling, and evaluating large-scale math expressions, i.e. hundreds or thousands of arithmetic clauses. It's mainly designed as a backend for implicit surfaces, but the library is flexible enough for many different uses!
Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazine
Mathematicians have started to prepare for a profound shift in what it means to do mathematics.
VibeMathed - Math Problems Solved by AI
A community-curated record of math problems no human had solved before, proved or disproved with AI in the loop - with checkable sources and verification labels.
The Mathocalypse
Last night my 9-year-old son was taunting my wife, complexity theorist Dana Moshkovitz, as follows: “mommy, I heard you got cooked! I heard that a robot solved the math problem you worked on …
