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

UC San Diego is trying to solve a math problem. The university said a growing number of students are starting their freshman year lacking high school math proficiency. KPBS reporter Jacob Aere says ...

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