Master how to simplify square roots with this quick, practical guide. You will learn to identify perfect squares up to 100 ...

Master the rules of exponents by moving beyond memorization. Learn how applying concepts directly leads to better math test ...

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the ten questions right.

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

OpenAI had generated plenty of buzz by coming up with a breakthrough for an 80-year-old Erdős problem, but Anthropic now says that it has also come up with a solution with its Mythos model. The unit ...

MathCode is a terminal AI coding assistant with a built-in math formalization engine. Give it a math problem in plain language and it will automatically convert it into a Lean 4 theorem and attempt a ...

Ammon News - A seemingly simple sum left the internet stumped as people scrambled to remember elementary arithmetic. The sneakily complex equation was posted on X last week by the account Break the ...

OpenAI announced on May 20, 2026, that an internal general-purpose reasoning model had produced a counterexample to Paul Erdős's 1946 unit distance conjecture — a result in discrete geometry that had ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.

In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...