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

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

Students in Kristen Gonsoir’s classroom at Groton Area High School in Groton, S.D., spend a lot of time solving equations together. Early this school year, they passed almost an entire period working ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone ...

The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why it matters.

Helping students see how what they are learning in school is relevant to their lives, hopes, and dreams enhances motivation. It can also be challenging to teachers who are tasked with covering a lot ...

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got ...

Physicist Richard Feynman turned a lunch dilemma into a math problem. Researchers finally cracked his notes and found people ...

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most original problems. Those booklets get shared among delegations, then quietly ...