Nowa edycja konkursu Justin Sun Prize docenia współpracę między ludźmi a sztuczną inteligencją w zakresie problemów Erdősa

Wouter van Doorn jest niezależnym teoretykiem liczb, który rozpoczął badania matematyczne jako student studiów licencjackich w 2010 roku i kontynuował współpracę oraz publikacje po opuszczeniu środowiska akademickiego po uzyskaniu tytułu magistra. Quanyu Tang (汤泉宇) jest doktorantem matematyki na Chińskim Uniwersytecie Nauki i Technologii, a jego badania obejmują teorię liczb, kombinatorykę oraz odkrycia matematyczne wspomagane sztuczną inteligencją.

Problemy Erdősa to pytania matematyczne sformułowane lub spopularyzowane przez węgierskiego matematyka Paula Erdősa, dotyczące liczb, wzorców i innych struktur matematycznych. Często są one proste w sformułowaniu, ale trudne do rozwiązania, i pomogły ukształtować badania w zakresie teorii liczb i kombinatoryki, przy czym niektóre z nich pozostają nierozwiązane od dziesięcioleci. Katalog Erdősa, opracowany i prowadzony przez Thomasa Blooma, matematyka i stypendystę Royal Society University Research Fellow na Uniwersytecie w Manchesterze, zawiera ponad 1200 problemów.

Van Doorn i Tang współpracowali z Yanyangiem Li z Wydziału Matematyki Uniwersytetu Południowo-Wschodniego w Nankinie nad rozwiązaniem problemu Erdősa nr 650, określając dokładnie, ile liczb całkowitych można zawsze dopasować do różnych wielokrotności w określonym przedziale. Van Doorn opracował również dowody weryfikowalne komputerowo w języku Lean – oprogramowaniu służącym do weryfikacji rozumowania matematycznego – dla problemu nr 369, dotyczącego kolejnych liczb całkowitych o ograniczonych czynnikach pierwszych; #457, dotyczący tego, czy krótka sekwencja kolejnych liczb całkowitych może łącznie zawierać wszystkie liczby pierwsze z danego przedziału; oraz #469, dotyczący tego, czy odwrotności specjalnej klasy liczb, które można wyrazić jako sumy ich dzielników, dają w sumie skończoną wartość.

Tang samodzielnie rozwiązał problem nr 1044, ustalając ostry dolny limit długości granic obszarów zdefiniowanych przez wielomiany, a także wraz z Li przyczynił się do rozwiązania problemu nr 1196 przez szerszy zespół, określając górną granicę sum ważonych nad zbiorami liczb całkowitych, w których żadna liczba nie dzieli innej.

Ich praca nad problemem nr 650 stanowi konkretny przykład tego, jak ludzki osąd i sztuczna inteligencja mogą się wzajemnie uzupełniać. ChatGPT pomógł opracować strategię dowodzenia, podczas gdy Aristotle – system sztucznej inteligencji służący do rozumowania matematycznego – usunął lukę podczas formalizacji metodą Leana. Następnie naukowcy uprościli argumentację i sporządzili ostateczne dowody oraz omówienie.

„To doświadczenie nauczyło mnie, w jaki sposób opinie publiczne mogą wyostrzyć pytanie badawcze oraz jak odkrycia wspierane przez sztuczną inteligencję mogą łączyć matematyczną ocenę, współpracę i rygorystyczną weryfikację” – powiedział Tang.

Są to pierwsze potwierdzone nagrody w ramach programu, uznające zarówno odkrycia matematyczne, jak i pracę niezbędną do zapewnienia niezależnej weryfikowalności dowodów. Informacje na temat nagrody im. Justina Suna, katalogu zadań oraz wkładu laureatów są dostępne w publicznym repozytorium GitHub programu.

Nagrody zostaną wypłacone w USDT na sieci TRON (TRC-20) lub w USDC na sieci Ethereum (ERC-20), zgodnie z wyborem laureata. Więcej informacji można znaleźć na stronie www.hejustinsun.com/prize.

O Biurze Justina Suna

Biuro Justina Suna wspiera globalną działalność biznesową, filantropijną i publiczną Justina Suna w obszarach technologii, blockchainu, sztucznej inteligencji, badań naukowych, inwestycji, sztuki i eksploracji kosmosu.

Justin Sun jest ambasadorem i byłym stałym przedstawicielem Grenady przy Światowej Organizacji Handlu oraz założycielem TRON. TRON to wiodący łańcuch bloków rewolucji stablecoinów, który od momentu powstania przetworzył transakcje o wartości ponad 13 bilionów dolarów. Na wschodzących rynkach świata ludzie polegają na USDT w sieci TRON, aby uzyskać dostęp do globalnego systemu finansowego.

Sun, protegowany założyciela Alibaby Jacka Ma, zyskał międzynarodowe uznanie za swoją działalność w branży aktywów cyfrowych, w tym dzięki profilowi na okładce magazynu „Forbes” w kwietniu 2025 roku oraz wielokrotnym pojawianiu się na liście „Forbes 30 Under 30”. W sierpniu 2025 roku poleciał na pokładzie statku kosmicznego Blue Origin w ramach misji NS-34, stając się 712. osobą w historii, która odbyła podróż w kosmos. Jego szerokie zainteresowania obejmują technologię, inwestycje, działalność filantropijną, sztukę, gry oraz eksplorację kosmosu.

Biuro Justina Suna – kontakt:

info@hejustinsun.com

O nagrodzie im. Justina Suna

Nagroda im. Justina Suna to inicjatywa akademicka ustanowiona przez Justina Suna w celu wspierania postępów w matematyce, weryfikacji formalnej oraz odkryć naukowych wspomaganych przez sztuczną inteligencję. Nagroda ma charakter zdecentralizowany i opiera się na zasadzie, że prace matematyczne powinny być oceniane na podstawie siły, rygoru i weryfikowalności samego dowodu, a nie prestiżu czy reputacji osób, które je zgłaszają.

Justin Sun ustanowił nagrodę pod własnym imieniem jako długoterminowe zobowiązanie do zwrotu bogactwa wytworzonego dzięki matematyce i technologii z powrotem samej matematyce. Jej dziedzictwo ma być definiowane przez zbiór docenianych prac oraz laureatów, których odkrycia przetrwają próbę czasu. Nagroda łączy jasno zdefiniowane wyzwania matematyczne z dowodami weryfikowalnymi maszynowo. Jej zasadami przewodnimi są otwartość, dobro publiczne oraz dostęp na zasadach open source.

Więcej informacji można znaleźć na stronie https://www.hejustinsun.com/prize.

Kontakt:

thejustinsunprize@hejustinsun.com

_________________________________________________________________________

Bitcoin.com nie przyjmuje żadnej odpowiedzialności ani nie ponosi żadnej odpowiedzialności, ani bezpośrednio, ani pośrednio, za jakiekolwiek straty, szkody, roszczenia, koszty lub wydatki jakiegokolwiek rodzaju, rzeczywiste, domniemane lub wynikowe, wynikające z lub związane z korzystaniem z lub poleganiem na jakichkolwiek treściach, towarach lub usługach, o których mowa w niniejszym artykule. Korzystanie z tych informacji odbywa się wyłącznie na własne ryzyko czytelnika.