Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...

Mathematicians love the certainty of proofs. This is how they verify that their intuition matches observable truth. This logical love of proofs is uniquely suited to opening up the black box of ...

Today’s post continues a series highlighting ways teachers can help students see how math and science are relevant to their lives. Emily Burrell has taught high school mathematics for 23 years. For ...

The tipping point came in the summer of 2025. That July, several artificial intelligence models solved five out of six problems at the International Mathematical Olympiad, an annual challenge for some ...

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the gauntlet with an exam of actual, unsolved problems that are relevant to ...

In ancient Greece, Euclid showed that if you agree on a small list of preliminary principles, or axioms, you can use deductive reasoning to reveal all sorts of new mathematical truths. But although ...

What started as a 50-point class project has become a published tool for changing how students think about mathematics.