Fundacja Justin Sun Prize współpracuje z MathDB prof. Caltechu Tony’ego Yue Yu: pilotaż 50 zadań

Nagroda im. Justina Suna została ustanowiona, aby stać się „Nagrodą Nobla ery sztucznej inteligencji”, odpowiadając na głęboką transformację badań naukowych i systemów motywacyjnych w nowej erze w sposób bardziej zdecentralizowany, sformalizowany i oparty na algorytmach. Nagrody za rozwiązanie poszczególnych problemów mogą sięgać 1 miliona dolarów, z zastrzeżeniem obowiązujących warunków przyznawania nagród i wymogów kwalifikacyjnych.

W ramach tej współpracy wprowadzono proces składania zgłoszeń i ich oceny za pośrednictwem platformy MathDB. MathDB będzie przyjmować zgłoszenia rozwiązań, weryfikować formalizacje w języku Lean oraz oceniać materiały wyjaśniające, podczas gdy organizatorzy nagrody Justin Sun Prize będą oddzielnie oceniać kwalifikowalność, autorstwo, pierwszeństwo oraz obowiązujące warunki przyznania nagrody.

„Sztuczna inteligencja zmienia tempo, w jakim można zgłębiać matematykę, ale sama szybkość nie oznacza postępu naukowego” – powiedział Justin Sun, założyciel nagrody Justin Sun Prize. „Szansą jest stworzenie ram, w których ludzka intuicja i inteligencja maszynowa mogą współpracować bez uszczerbku dla rygoru. Współpraca z MathDB łączy odkrycia matematyczne i dowody weryfikowalne maszynowo w ramach tego samego procesu, co naszym zdaniem może pomóc w zdefiniowaniu bardziej rygorystycznego modelu dla przyszłych odkryć”.

Program pilotażowy obejmuje 50 problemów w ramach czterech poziomów nagród, a pula nagród na poziomie poszczególnych problemów wynosi do 1 miliona dolarów, w zależności od problemu. Najwyższy poziom obejmuje między innymi problem P kontra NP, hipotezę Riemanna, istnienie i lukę masową w modelu Yang-Millsa, hipotezę Hodge’a, globalną funktorialność Langlandsa oraz hipotezę Bircha i Swinnertona-Dyera. Pełna lista objętych programem problemów oraz obowiązujące warunki przyznawania nagród będą dostępne za pośrednictwem serwisu MathDB oraz strony Justin Sun Prize.

Wszystkie nagrody podlegają pełnej weryfikacji kwalifikowalności, zgodności z przepisami dotyczącymi przeciwdziałania praniu pieniędzy (AML/sankcje) oraz oficjalnym regulaminem programu dostępnym na stronie https://www.hejustinsun.com/prize.

Aby poszerzyć zasięg i wpływ zaawansowanych badań, program pilotażowy MathDB będzie nagradzał nie tylko rozwiązania problemów matematycznych, ale także angażujące i przystępne przedstawianie tych rozwiązań. Nagroda jest podzielona na trzy kategorie: 50% za rozwiązanie matematyczne, 30% za formalizację metodą Lean oraz 20% za kwalifikujące się omówienie.

MathDB to wielkoskalowa, tworzona przez społeczność baza danych zawierająca definicje matematyczne, twierdzenia, hipotezy i problemy otwarte, której celem jest ułatwienie porządkowania, łączenia i rozwijania wiedzy matematycznej. Projekt łączy formalizację metodą Lean oraz funkcję automatycznej weryfikacji dowodów z objaśnieniami matematycznymi i materiałami badawczymi. Profesor Tony Yue Yu z Kalifornijskiego Instytutu Technologicznego wraz ze swoim zespołem będzie kierował naukowymi aspektami projektu pilotażowego.

„Rozwiązanie fundamentalnego problemu matematycznego często prowadzi do znacznie więcej niż tylko odpowiedzi na pierwotne pytanie” – powiedział Yu. „Proces ten może ujawnić nieoczekiwane powiązania, wprowadzić potężne narzędzia i otworzyć zupełnie nowe kierunki badań. Te osiągnięcia mogą wywrzeć wpływ wykraczający poza pokolenia i dyscypliny naukowe. Nagroda im. Justina Suna celebruje tego ducha eksploracji, zwracając uwagę na trudne problemy, wspierając naukowców, którzy się nimi zajmują, oraz zachęcając do publicznego rozpowszechniania wiedzy. Nasza współpraca z nagrodą im. Justina Suna opiera się na przekonaniu, że prowadzenie badań podstawowych przy użyciu zdecentralizowanych, rygorystycznych i weryfikowalnych metod może przyspieszyć tempo odkryć i postępu naukowego oraz przyczynić się do rozwoju cywilizacji ludzkiej”.

Pełna lista problemów objętych konkursem, wymagania dotyczące zgłoszeń oraz procedury oceny będą dostępne za pośrednictwem serwisu MathDB oraz strony nagrody im. Justina Suna.

O Biurze Justina Suna

Biuro Justina Suna wspiera globalną działalność biznesową, filantropijną i publiczną Justina Suna w obszarach technologii, łańcucha bloków, 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 zwrócenia 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ść, korzyść publiczna oraz dostęp na zasadach open source.

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

Kontakt dla mediów:

media@hejustinsun.com

_________________________________________________________________________

Bitcoin.com nie przyjmuje żadnej odpowiedzialności ani zobowiązań i nie ponosi 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 jakichkolwiek treści, towarów lub usług, o których mowa w niniejszym artykule, lub poleganiem na nich. Korzystanie z tych informacji odbywa się wyłącznie na własne ryzyko czytelnika.