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

NASA’s Airspace Systems Program and the Ames Research Center are pleased to announce the public release of Smart Skies FlyBy Math: Distance-Rate-Time Problems in Air Traffic Control for Grades 5-9 ...

AI systems are beginning to produce proof ideas that experts take seriously, even when final acceptance is still pending.

These student-constructed problems foster collaboration, communication, and a sense of ownership over learning.