AI coding agents ported Fields Medalist Terence Tao’s Java 1.0 math visualizations to JavaScript in hours, identified two ...

The Faculty of Mathematics and Natural Sciences (FMIPA) at Hasanuddin University (Unhas) increased knowledge of disaster ...

An IPB University expert explains what's driving Europe's extreme heatwave and whether Indonesia could experience similar ...

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

Dylan Kane likes his math curriculum. But there’s one important piece missing, he says. The 7th grade math teacher in Leadville, Colo., uses a program that teaches math skills through real-world ...

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the technology threatens math as a discipline. By Siobhan Roberts Recently there ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

After 80 years of fruitless struggle by human mathematicians, a major geometry conjecture has at last been solved—via a straightforward query to a chatbot. “No previous AI-generated proof has come ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.

In ancient Greece, Euclid showed that if you agree on a small list of preliminary principles, or axioms, you can use deductive reasoning to reveal all sorts of new mathematical truths. But although ...

In March 2025, mathematician Daniel Litt made a bet. Despite the march of progress of artificial intelligence in many fields, he believed his subject was safe, wagering with a colleague that there was ...