@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.
@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.
OAI researcher on Erdos problem: “This is the biggest deal in the history of AI so far. And it will look like a small deal at the end of the year.” (Buckle up)
An OpenAI researcher claims that their model's solution to an Erdős problem in discrete geometry is the biggest AI achievement to date, but predicts it will be overshadowed by end of year.
@LiorOnAI: GPT-5.6 Sol may have solved a 50-year-old math problem using 64 subagents in parallel. The system did not rely on one l…
GPT-5.6 Sol reportedly solved a 50-year-old math problem by using 64 subagents in parallel, potentially changing R&D economics if verified.