Neel Somani löste ett Erdos-problem?
Neel Somani
Neel Somani11 jan. 13:00
Helgvinst: Beviset jag lämnade in för Erdos-problem #397 accepterades av Terence Tao. Beviset genererades av GPT 5.2 Pro och formaliserades med Harmonic. Många öppna problem ligger där och väntar på att någon ska be ChatGPT lösa dem:
När CT faller sönder är det roligt att se gamla karaktärer i det vilda
42