Neel Somani løste et Erdos-problem?
Neel Somani
Neel Somani11. jan., 13:00
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:
Etter hvert som CT går i oppløsning, er det gøy å se gamle karakterer ute i naturen
37