Tag
OpenAI claims to have solved the Navier-Stokes problem in 88 hours, prompting the author to share a celebratory wallpaper.
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.
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.
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.