A New AI Math Startup Just Cracked 4 Previously Unsolved Problems

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.
AOL

10 Hard Math Problems That Even the Smartest People in the World Can’t Crack

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...
Ars Technica

Google claims math breakthrough with proof-solving AI models

On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year’s International Mathematical Olympiad (IMO), ...
The New York Times

A.I.’s Latest Challenge: the Math Olympics

Watch out, nerdy high schoolers, AlphaGeometry is coming for your mathematical lunch. Credit...Christian Gralingen Supported by By Siobhan Roberts Reported from Stanford, Calif. For four years, the ...
TechCrunch

DeepMind claims its newest AI tool is a whiz at math and science problems

Google’s AI R&D lab DeepMind says it has developed a new AI system to tackle problems with “machine-gradable” solutions. In experiments, the system, called AlphaEvolve, could help optimize some of the ...
Education Week

Why This School System Is Integrating AI Literacy With Algebra 1

Could connecting artificial intelligence with math concepts boost students’ attitudes toward the subject? A research project from the Concord Consortium aims to find out. The nonprofit educational ...
Los Angeles Times

Math 106, Math 003: same class, different colleges. Why a common number system is elusive

At Pasadena City College, college algebra for STEM majors is labeled Math 003. At Cypress College, it’s Math 141-C and at Napa Valley, it’s Math 106. For anyone hoping to enroll in the same course at ...