Despite the greatest strides in mathematics, these hard math problems remain unsolved. Take a crack at them yourself.

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut discovery costs to about two thousand dollars.

In September 2019, news broke regarding progress on this 82-year-old question, thanks to prolific mathematician Terence Tao. And while the story of Tao's breakthrough is promising, the problem isn't ...

Every year, thousands of college students from across the U.S. and Canada give up a full Saturday before finals begin to take a notoriously difficult, 6-hour math test — and not for a grade, but for ...

Artificial intelligence has been inching toward genuine mathematical discovery for years, but a claim from OpenAI in early August 2026 pushed the story into new territory. The company said its latest ...

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts for 80 years. This was considered among the most important unsolved ...

From haikus to math journals and comic strips, there are major benefits when writing is infused into the math curriculum.