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 szignifikánsan több, mint n. És lehet…. Nem tudom. Tényleg nem tudom. Mi állítja meg ezt? Mégis mi?