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:
Tråd:
91