@LiorOnAI: This is a bigger deal than it sounds. A mathematician gave Grok 4.5 an open research problem but instead of just explai…
Summary
A mathematician reports that Grok 4.5 discovered a novel counterexample to hypercontractivity on the 4-sphere, potentially marking the first instance of original mathematical research by an AI, pending peer review.
View Cached Full Text
Cached at: 07/10/26, 02:15 PM
This is a bigger deal than it sounds.
A mathematician gave Grok 4.5 an open research problem but instead of just explaining known math, it found a brand-new counterexample.
If it holds up under peer review, that’s original mathematical research.
Paata Ivanisvili (@PI010101): Grok 4.5 just constructed an explicit counterexample to hypercontractivity for the Poisson semigroup (the square root of the Laplace–Beltrami operator) on the 4-sphere.
Back in 2021, with Rupert Frank https://t.co/qULwxmpQee we proved that hypercontractivity holds in dimensions
Similar Articles
OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI claims its new reasoning model autonomously produced an original mathematical proof disproving an 80-year-old unsolved geometry conjecture by Paul Erdős, marking the first time AI has solved a prominent open problem central to a field of mathematics.
@mattshumer_: So another long-standing open conjecture was disproved by AI. The crazy part is the prompts… basically: - “do a breakth…
A tweet reports that an AI (likely GPT-5.6 Pro) disproved the Dinitz-Garg-Goemans conjecture, a long-standing open problem in graph theory, using simple prompts like 'do a breakthrough'.
@OpenAI: What happened when one of our models found a counterexample to an 80-year-old Erdős conjecture? Researchers @alexwei_, …
An OpenAI model found a counterexample to an 80-year-old Erdős conjecture, with researchers sharing the story on the OpenAI Podcast about how AI and mathematicians can collaborate on mathematical discoveries.
@rohanpaul_ai: A mathematician using GPT-5.6 to solve math problems once thought out of reach. "I just run CodeX to do all this explor…
A mathematician uses GPT-5.6 and CodeX to solve previously intractable math problems, significantly speeding up exploration and technical work.
@jerryjliu0: This is awesome. Instead of doing work this morning, I spent some time brushing up on math to provide a handwavy overvi…
An AI model named Fable discovered a counterexample to the Jacobian conjecture, a long-standing open problem in mathematics, by finding a polynomial function that meets the special conditions but is not invertible.