OpenAI ujawnia dowód obalający hipotezę Erdősa

Model ogólnego wnioskowania OpenAI stworzył dowód obalający hipotezę o jednostkowej odległości na płaszczyźnie, zaproponowaną przez Paula Erdősa. Model ten ogłosił konstrukcję dotyczącą hipotezy, którą Erdős przedstawił 20 maja 1946 roku. Problem jednostkowej odległości na płaszczyźnie to problem kombinatorycznej geometrii, który pyta, ile par punktów można umieścić na płaszczyźnie w odległości dokładnie 1. Opublikowany dowód wykazał, że dla dowolnej dodatniej wartości δ można stworzyć nieskończoną liczbę par punktów o jednostkowej odległości, które są większe lub równe n^1+δ. Profesor Wil Sawin z Uniwersytetu Princeton udowodnił, że w procesie dalszej obróbki można ustawić δ na 0,014. Zewnętrzni matematycy, tacy jak Noam Alon i Thomas Bloom, przeanalizowali kontrprzykłady stworzone przez model i opublikowali towarzyszący artykuł. Matematyk Gowers ocenił ten wynik jako 'kamień milowy w matematyce AI'. OpenAI 20 lutego złożyło próby dowodzenia dla 10 problemów, uznając, że odpowiedzi dla problemów 4, 5, 6, 9 i 10 są bardzo prawdopodobne. Jednak osiągnięcie to nie ma związku z blockchainem ani kryptowalutami, a także nie ma dowodów na to, że AI zaatakowało systemy podpisów Bitcoina lub Ethereum. Środowisko kryptograficzne prowadzi prace nad przejściem w odpowiedzi na zagrożenia ze strony komputerów kwantowych, a NIST planuje zatwierdzić trzy standardy postkwantowej kryptografii 13 sierpnia 2024 roku.

Niniejsza treść ma charakter wyłącznie informacyjny i nie stanowi porady finansowej, inwestycyjnej, prawnej ani podatkowej. Wszelkie wydarzenia, nagrody, promocje online lub powiązane informacje, o których tu mowa, nie powinny być traktowane jako rekomendacja, zachęta ani zaproszenie do kupna, sprzedaży, wymiany lub innego rodzaju obrotu aktywami kryptograficznymi. Aktywa kryptograficzne charakteryzują się dużą zmiennością i mogą prowadzić do strat. Dostępność usług, produktów i powiązanych wydarzeń WEEX może się różnić w zależności od regionu. Użytkownik jest odpowiedzialny za upewnienie się, że jego udział jest zgodny z obowiązującymi lokalnymi przepisami i regulacjami.