AlphaProof

Dyskusja o AI w matematyce kręciła się wokół benchmarków, zadań olimpijskich i efektownych dem. Teraz OpenAI twierdzi, że jego wewnętrzny model obalił hipotezę Paula Erdősa z 1946 roku dotyczącą problemu odległości jednostkowych w płaszczyźnie. Brzmi grubo, nawet jak na branżę, która lubi nadmuchane komunikaty. Różnica polega na tym, że tym razem za ogłoszeniem stoją konkretne nazwiska i dopracowanie wyniku przez matematyków.