Tag
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.