Egy OpenAI belső modell megoldott egy ismert Erdős-sejtést
Itt van a cikk. Egy ellenpélda konstrukciójáról van szó. A Fields-érmes Gowers azt írta, hogy ő azt javasolta volna, hogy ezt fogadják el az Annalsban (gy.k a legjobb matematikai folyóirat). A probléma az, hogy a síkban n pont hány olyan pontpárt határozhat meg, amelynek távolsága 1. Erdős azt sejtette, hogy ez a szám nem lehet …
