The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got ...

What if a machine could think as deeply as a human mathematician, solving problems so intricate they stump even the brightest minds? Enter Gemini Deep Think, an advanced AI model that has not only ...

Michael Harris, professor of mathematics at Columbia University, on why he co-authored a new declaration to preserve his ...

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

Demand forecasts have investors flying high, but beware the inevitable price drop.

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...

Mathematicians love the certainty of proofs. This is how they verify that their intuition matches observable truth. This logical love of proofs is uniquely suited to opening up the black box of ...

Math students can soon call upon an avatar of their classroom teacher — a round-faced cartoon created by artificial intelligence to capture their likeness, voice, vocabulary and cadence — to respond ...

AI tutors like Koji are transforming education by enhancing problem-solving skills without replacing teachers.

When completing math problems, students often have to show their work. It’s a method teachers use to catch errors in thinking, to make sure students are grasping mathematical concepts correctly. New ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.