Experts gave AI 10 math problems to solve in a week. OpenAI, researchers and amateurs all gave it their best shot ...

OpenAI’s unreleased model solved five of 10 unpublished research-level math problems and proposed a breakthrough physics formula, signaling a new era for AI in science.

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

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

When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works.

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the ...

A Russian mathematician has developed a new method for analyzing a class of equations that underpin models in physics and economics and are considered "eternal" as they have challenged researchers for ...

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

Mathematicians finally understand the behavior of an important class of differential equations that describe everything from ...

How bees, beer cans and big data all solve the same problem: not enough space. By Steven Strogatz Photo illustrations by Jens Mortensen Each installment of “Math, Revealed” starts with an object, ...