Meta's work made headlines and raised a possibility once considered pure fantasy: that AI could soon outperform the world's best mathematicians by cracking math's marquee "unsolvable" problems en ...

A mathematician at Yonsei University, in Korea, claims to have solved the moving sofa problem. Jineon Baek has posted a 100+-page proof of the problem on the arXiv preprint server. Most people who ...

What is the largest sofa that you can squeeze around the corner of a hallway? A horseshoe-shaped piece of furniture known as Gerver’s sofa has officially taken the crown, solving a mathematical ...

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

Organizational strategies that help students break complex word problems into manageable chunks may be the key to solving them, according to a 2025 study.