Physicist Richard Feynman turned a lunch dilemma into a math problem. Researchers finally cracked his notes and found people approximate his solution on their own.

Grok 4.5 constructed a counterexample proving hypercontractivity fails on the 4-sphere, closing a decades-old gap in ...

Forbes contributors publish independent expert analyses and insights. Anisha Sircar is a journalist covering tech, finance and society. This voice experience is generated by AI. Learn more. This voice ...

OpenAI said one of its internal models had made a breakthrough with a challenge first posed by Hungarian mathematician Paul Erdős in 1946. Experts say this result could indicate that AI is capable of ...

Bengaluru: If you are a mathematician, then you may want to take a seat before reading further—this is how Fields Medalist Timothy Gowers told the world about an OpenAI model having solved a problem ...

Gear-obsessed editors choose every product we review. We may earn commission if you buy from a link. Why Trust Us? Representation theory transforms abstract algebra groups into things like simpler ...

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.

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