@justalexoki: me: <explaining openais recent breakthrough> wife: ? me: 80 year old math thing humans couldn't figure out wife: ? me: …
Summary
A lighthearted tweet about explaining OpenAI's recent breakthrough (likely solving an 80-year-old math problem) to a spouse, with humorous discussion of AGI and ASI leading to growing vegetables.
View Cached Full Text
Cached at: 05/24/26, 02:21 PM
me: <explaining openais recent breakthrough> wife: ? me: 80 year old math thing humans couldn’t figure out wife: ? me: AGI is coming. then ASI wife: ? me: I’m gonna start growing vegetables and gear up the root cellar wife: oh fun! bell peppers? i love bell peppers
Similar Articles
@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.
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.
@wtgowers: I've recently got in on the act of getting AI to solve open problems in mathematics. More precisely, I gave some questi…
Tim Gowers reports using ChatGPT 5.5 Pro to attempt to solve open mathematical problems posed by Melvyn Nathanson.
An OpenAI model solved a famous math problem that stumped humans for 80 years
OpenAI's AI model disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped mathematicians for 80 years, marking a milestone in AI mathematics.
A glimpse of Level 4? OpenAI model helps challenge an 80-year-old math assumption
An OpenAI model has autonomously solved the planar unit distance problem, a famous open mathematics question from 1946, disproving an 80-year-old assumption and achieving a first for AI.