Genewa, Szwajcaria — 5 października 2026 — Biuro Justina Suna ogłosiło dziś najnowszych laureatów Nagrody Justina Suna: niezależnego badacza Woutera van Doorna, doktoranta matematyki Quanyu Tanga oraz badacza matematyki Yanyanga Li z Southeast University w Nankinie. Zostali wyróżnieni za wkład w rozwiązanie sześciu problemów Erdősa.
Wouter van Doorn jest niezależnym teoretykiem liczb, który rozpoczął badania matematyczne jako student w 2010 roku i kontynuował współpracę oraz publikowanie po odejściu ze środowiska akademickiego z tytułem magistra. Quanyu Tang (汤泉宇) jest doktorantem matematyki na University of Science and Technology of China, którego badania obejmują teorię liczb, kombinatorykę i odkrycia matematyczne wspomagane przez AI.
Problemy Erdősa to pytania matematyczne postawione lub spopularyzowane przez węgierskiego matematyka Paula Erdősa dotyczące liczb, wzorców i innych struktur matematycznych. Często łatwo je sformułować, ale trudno rozwiązać, i pomogły one ukształtować badania w teorii liczb i kombinatoryce, a niektóre pozostają otwarte od dziesięcioleci. Katalog problemów Erdősa, opracowany i utrzymywany przez Thomasa Blooma, matematyka i Royal Society University Research Fellow na University of Manchester, zawiera ponad 1200 problemów.
Van Doorn i Tang współpracowali z Yanyangiem Li z School of Mathematics Southeast University w Nankinie, aby rozwiązać problem Erdősa #650, ustalają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 możliwe do sprawdzenia komputerowo w Lean, oprogramowaniu do weryfikacji rozumowania matematycznego, dla #369, dotyczącego kolejnych liczb całkowitych z ograniczonymi czynnikami pierwszymi; #457, dotyczącego tego, czy krótki ciąg kolejnych liczb całkowitych może łącznie zawierać każdą liczbę pierwszą w danym zakresie; oraz #469, dotyczącego tego, czy odwrotności specjalnej klasy liczb wyrażalnych jako sumy ich dzielników sumują się do skończonej wartości. Tang osobno rozwiązał #1044, ustalając ostrą dolną granicę długości brzegów obszarów zdefiniowanych przez wielomiany, i przyczynił się wraz z Li do rozwiązania #1196 przez szerszy zespół, ograniczając sumy ważone po zbiorach liczb całkowitych, w których żaden element nie dzieli innego.
Ich praca nad #650 oferuje konkretny przykład tego, jak ludzki osąd i AI mogą się wzajemnie uzupełniać. ChatGPT pomógł opracować strategię dowodu, podczas gdy Aristotle, system AI do rozumowania matematycznego, naprawił lukę podczas formalizacji w Lean. Następnie badacze uprościli argument i napisali ostateczne dowody oraz ekspozycję.
„To doświadczenie nauczyło mnie, jak publiczna informacja zwrotna może wyostrzyć pytanie badawcze i jak odkrycia wspomagane przez AI mogą łączyć osąd matematyczny, współpracę i rygorystyczną weryfikację” — powiedział Tang.
To pierwsze potwierdzone nagrody w programie, uznające zarówno odkrycie matematyczne, jak i pracę potrzebną do uczynienia dowodów niezależnie sprawdzalnymi. Informacje o Nagrodzie Justina Suna, jej katalogu problemów i wkładzie odbiorców są dostępne w publicznym repozytorium GitHub programu. Nagrody zostaną wypłacone w USDT na TRON (TRC-20) lub USDC na Ethereum (ERC-20), zgodnie z wyborem odbiorcy. Aby uzyskać więcej informacji, odwiedź www.hejustinsun.com/prize.
O Biurze Justina Suna
Biuro Justina Suna wspiera globalne inicjatywy biznesowe, filantropijne i publiczne Justina Suna w obszarach technologii, blockchain, 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 blockchain dla rewolucji stablecoinów, przetwarzający ponad 13 bilionów dolarów wolumenu od momentu powstania. Na wschodzących rynkach świata ludzie polegają na USDT na TRON, aby uzyskać dostęp do globalnego systemu finansowego.
Protegowany założyciela Alibaby Jacka Ma, Sun był międzynarodowo doceniany za swoją pracę w branży aktywów cyfrowych, w tym za okładkowy profil w Forbes w kwietniu 2025 roku i wielokrotne pojawienie się na liście Forbes 30 Under 30. W sierpniu 2025 roku poleciał w misji NS-34 Blue Origin, stając się 712. osobą w historii, która podróżowała w kosmos. Jego szersze zainteresowania obejmują technologię, inwestycje, filantropię, sztukę, gry i eksplorację kosmosu. Kontakt Biura Justina Suna: info@hejustinsun.com O Nagrodzie Justina Suna Nagroda Justina Suna to inicjatywa akademicka założona przez Justina Suna w celu wspierania postępu w matematyce, formalnej weryfikacji i odkryciach naukowych wspomaganych przez AI. Nagroda jest zdecentralizowana i oparta na zasadzie, że praca matematyczna powinna być oceniana na podstawie siły, rygorystyczności i weryfikowalności samego dowodu, a nie prestiżu lub reputacji osób go składających. Justin Sun ustanowił nagrodę pod własnym nazwiskiem jako długoterminowe zobowiązanie do zwrócenia bogactwa stworzonego przez matematykę i technologię z powrotem samej matematyce. Jej dziedzictwo ma być definiowane przez dorobek, który uznaje, i laureatów, których odkrycia przetrwają próbę czasu. Nagroda łączy jasno zdefiniowane wyzwania matematyczne z dowodem weryfikowalnym maszynowo. Jej zasady przewodnie to otwartość, korzyść publiczna i dostęp open-source. Odwiedź https://www.hejustinsun.com/prize, aby uzyskać więcej informacji. Kontakt: thejustinsunprize@hejustinsun.com
Najczęściej zadawane pytania
FAQ Nowa runda Nagrody Justina Suna za współpracę człowiek-AI nad problemami Erdősa
P1 Czym jest Nagroda Justina Suna
To nagroda finansowana przez przedsiębiorcę kryptowalutowego Justina Suna, która płaci ludziom za rozwiązywanie problemów matematycznych, zwłaszcza związanych ze słynnymi problemami Erdősa
P2 Czym są problemy Erdősa
To duży zbiór otwartych pytań matematycznych postawionych lub spopularyzowanych przez legendarnego węgierskiego matematyka Paula Erdősa. Wiele z nich jest łatwych do sformułowania, ale bardzo trudnych do rozwiązania
P3 Co nowego w tej rundzie nagrody
Ta runda konkretnie nagradza rozwiązania, w których człowiek i AI pracowali razem — na przykład osoba używająca modelu AI, takiego jak ChatGPT, lub asystenta dowodowego do rozwiązania problemu
P4 Czy muszę używać AI, aby wygrać
W tej rundzie tak. Nagroda jest ukierunkowana na współpracę człowiek-AI, więc rozwiązanie wyłącznie ludzkie lub wyłącznie wygenerowane przez AI może nie kwalifikować się
P5 Co liczy się jako współpraca człowiek-AI
Każdy układ, w którym osoba i system AI wnoszą znaczący wkład — powiedzmy, że AI sugeruje kroki dowodu, a człowiek je weryfikuje, poprawia i udoskonala
P6 Kto może wziąć udział
Ogólnie każdy — studenci, hobbyści lub profesjonalni matematycy. Sprawdź oficjalne zasady dotyczące wieku, miejsca zamieszkania lub ograniczeń kwalifikowalności
P7 Ile wynosi nagroda
Kwoty nagród różniły się w zależności od rundy i trudności problemu. Sprawdź oficjalne ogłoszenie, aby poznać dokładne kwoty
P8 Które problemy kwalifikują się
Zwykle problemy z baz danych problemów Erdősa lub konkretna lista opublikowana wraz z nagrodą. Nie każdy otwarty problem kwalifikuje się
P9 Jak mam zgłosić rozwiązanie
Zazwyczaj przez oficjalny formularz zgłoszeniowy lub e-mail podany w ogłoszeniu o nagrodzie, wraz z dowodem i opisem tego, jak wykorzystano AI
P10 Czy AI musi być konkretnym narzędziem
Nie, większość rund pozwala na dowolne narzędzie AI — duże modele językowe, dowodziki twierdzeń lub systemy niestandardowe — o ile udokumentujesz, czego użyłeś
P11 Czy muszę wyjaśnić rolę AI
Tak. Organizatorzy zwykle chcą jasnego opisu tego, co zrobiła AI, a co zrobiłeś ty, aby współpraca była przejrzysta
P12 Co jeśli odpowiedź AI jest błędna
To twoja odpowiedzialność. Człowiek jest odpowiedzialny za sprawdzenie każdego kroku. Un