For years, physicists were stuck in trying to explain an important mathematical problem in physics. The right approach ended ...

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...

Google and OpenAI have solved decades-old problems — but the scientific community is beginning to discuss whether limits ...

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the ten questions right.

At SXSW London last week I gave a talk called “Five things you need to know about AI,” in which I shared what I think are the biggest themes in AI right now. I pulled a few th ...

With the 2025-26 academic year behind us, and the summer stretching ahead, Columbia News is looking back at some of the top research that our faculty have produced in recent months. Columbia ...

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians. What does that mean for their future? Credit...Illustrations by Yoshi ...

An OpenAI model disproved the 80-year-old Erdős unit distance conjecture, and Google DeepMind's AlphaProof Nexus solved nine more open problems days later. Together, these AI math breakthroughs mark a ...

“If you are a mathematician,” one of the world’s leading mathematicians recently wrote, “you may want to make sure you are sitting down before reading further.” And you’ll definitely need to sit down ...

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. News about AI math problem raises realization that finding counterexamples can be extremely ...