Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal ...

Axiom Math's AxiomProver AI system gets algorithm-generated proofs published in peer-reviewed journals, a first for the $1.6B ...

The Bermuda Mathematics Academy has successfully registered Bermuda as an observer country for the 2026 International ...

Global math archive: MIT and collaborators launched MathNet, the largest Olympiad-level problem collection, spanning 47 countries, 17 languages, and four decades of competitions. Thinking like Fermi: ...

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

OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the ...

Peak's Elise Devlin has spent the last two years talking to coaches and athletes about mental tips they use to perform at ...

The fourth-annual NII Science Olympics was claimed by Walkerton’s Sacred Heart High School last Friday. Sacred Heart Catholic ...

If the ACC implodes, where will Notre Dame take its Olympic sports: The Big Ten, SEC or Big 12? Would the Big Ten force the ...

Kostyuk's work to separate her self-worth from her results has led to the flourishing of a player whose talent was never in ...

With a massive restructuring of college sports possible in the coming years, what role would Notre Dame play in potential ...

Q: What were your most rewarding school or community activities? Why? A: The most rewarding school and community activities ...