A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...
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 ...
Among high school students and adults, girls and women are much more likely to use traditional, step-by-step algorithms to solve basic math problems – such as lining up numbers to add, starting with ...
Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning. This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox ...
Sixty-eight percent of surveyed students say they turn to AI tools for math assignments or exams when they need extra help.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results