A Korean mathematician has solved one of geometry’s most stubborn puzzles, ending a problem that has challenged researchers for nearly 60 years and earning global recognition for a proof achieved ...
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 ...
Hosted on MSN
Mathematician solves the moving sofa problem
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 ...
For those who have wrestled a bulky couch around a tight corner and lamented, “Will this ever get through?” mathematicians have heard your pleas. Geometry’s “moving sofa problem” asks for the largest ...
Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the ...
Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.
Results that may be inaccessible to you are currently showing.
Hide inaccessible results