Helgeseier: Beviset jeg leverte for Erdos-problem #397 ble akseptert av Terence Tao. Beviset ble generert av GPT 5.2 Pro og formalisert med Harmonic. Mange åpne problemer ligger der og venter på at noen skal be ChatGPT løse dem:
Tråd:
17