@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
@postagixyz: Emad Mostaque @EMostaque came on PostAGI and said AI had already found 121 years of missing algebra in Einstein's equat…
Emad Mostaque claims AI found missing algebra in Einstein's equations, while OpenAI's Astra reportedly solved ten open math problems on minimal compute, signaling machines are surpassing humans in mathematical discovery.
@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: Brilliant. This feels like one of those cases where the math idea finally arrived at the right timing, because AI infer…
The tweet praises a mathematical idea timed well for AI inference's arithmetic profile and expresses interest in seeing results on reasoning models during long generation runs.
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'.