A team from Thomas Jefferson High School will compete for the top prize in the annual MathWorks Math Modeling Challenge.

The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

Daniel Glasscock, an assistant professor of mathematics and statistics, tapped two undergraduate students to verify his ...

Teachers can use these questions to draw students out and get worthwhile formative assessment responses to guide instruction.

Milwaukee has demand for a new office tower, but developers say the project is not financially feasible. Developers say they ...

Lofty valuation prices in profitable Starlink satellite network, but also unproven ventures such as Starship, xAI and ...

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

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

In March 2025, mathematician Daniel Litt made a bet. Despite the march of progress of artificial intelligence in many fields, he believed his subject was safe, wagering with a colleague that there was ...

Some readers may solve the problem procedurally: line up the two numbers, add the ones column, carry the one, and add the tens to get 43. Others might instead notice a creative shortcut: 29 + 14 is ...

“I’ve spent a long time exploring the crystalline beauty of traditional mathematics, but now I’m feeling an urge to study something slightly more earthy,” John Baez wrote on his blog in 2011. An ...