Astra wyznacza nową granicę luk między liczbami pierwszymi
OpenAI przedstawiło formalny dowód w systemie Lean, obniżający stałą odległości między liczbami pierwszymi do 186. To znaczący przełom w analitycznej teorii liczb.
Astra wyznacza nową granicę luk między liczbami pierwszymi
Jest to jeden z klasycznych i najbardziej znanych problemów w analitycznej teorii liczb. Pytanie brzmi: czy istnieje taka stała C, że nieskończenie wiele par sąsiednich liczb pierwszych różni się o nie więcej niż C?
Dowód na skończoność takiej luki uzyskano dopiero w 2013 roku. W 2014 roku projekt Polymath8 pod kierunkiem Terence’a Tao zredukował tę stałą do 246, a niedawno Julia Stadlmann obniżyła ją do 240.
Astra zmniejszyła wartość C do 186: OpenAI opublikowało formalny dowód w języku Lean. Szczegóły na GitHubie
Nie stwierdzono jednoznacznie, że model odkrył szacunek całkowicie autonomicznie. Co więcej, wynik opiera się na trzech aksjomatach obecnych w literaturze, które nie zostały jeszcze formalnie udowodnione w systemie Lean. Mimo to, jest to konkretny rezultat. OpenAI twierdzi również, że ulepszyło składnik oszacowania dużych luk między liczbami pierwszymi, który pozostawał niezmieniony przez ponad 80 lat.
Dlaczego to ważne
AnalizaOdkrycie ma istotne znaczenie dla analitycznej teorii liczb, ponieważ precyzuje górną granicę odległości między liczbami pierwszymi. Może to otworzyć nowe ścieżki badawcze i przyspieszyć rozwój tej dziedziny matematyki.
Dyskutuj w społeczności
Dziel się swoimi pytaniami i spostrzeżeniami z programistami