Google DeepMind’s AlphaProof system solved International Mathematical Olympiad problems at a silver-medal level earlier this year, marking the most concrete demonstration yet that artificial ...

One particularly well-known fact about the moon is that it doesn't have much of a magnetosphere to speak of. There's no blanket to protect it from the solar wind ravaging its surface, blowing away its ...

VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using ...

The verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...

The GSMM Camp is a weeklong workshop that builds interdisciplinary problem-solving skills for graduate and advanced undergraduate students. Participants work in teams on mathematically rich problems ...

When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works.

A new undergraduate major in mathematics and computing will be offered at Georgia Tech beginning next fall. The new bachelor’s degree brings together essential elements of both mathematics and ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...