Hosted on MSN

How To Solve Any Problem Using Enrico Fermi’s Back-Of-The-Envelope Math (And Some Common Sense)

In 1945, as the first atomic bomb exploded in the New Mexico desert, Enrico Fermi stood miles away, holding a few scraps of paper. As the shockwave rolled toward him, he dropped the papers and watched ...
Forbes

Meet The Stanford Dropout Building An AI To Solve Math’s Hardest Problems—And Create Harder Ones

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

Can AI Improve Math Class? Teachers Aren’t Sure

It’s hard to predict the future, especially when it comes to artificial intelligence. But in a recent survey, the EdWeek Research Center asked math teachers to look ahead five years and imagine the ...
TechCrunch

DeepSeek upgrades its math-focused AI model Prover

Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version ...
Phys.org

Mathematician solves algebra's oldest problem using intriguing new number sequences

A UNSW Sydney mathematician has discovered a new method to tackle algebra's oldest challenge—solving higher polynomial equations. Polynomials are equations involving a variable raised to powers, such ...