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
Powiązane w ekosystemie
Praktyczne poradniki, kluczowa terminologia i skille agentów
Codex Skills dla początkujących: jak zautomatyzować scenariusze pracy agenta AI
Praktyczny przewodnik po tworzeniu i korzystaniu z funkcji Skills w Codex: struktura pliku SKILL.md, aktywacja jawna i automatyczna, różnice między umiejętnościami (skills), skryptami a narzędziami (tools), API Skills oraz konfiguracja limitów bezpieczeństwa.
GPT Mini (Kompaktowe modele z serii GPT-4o mini)
Ekonomiczna i ultrasybka wersja flagowych modeli OpenAI. Optymalizowana pod kątem masowych, codziennych zadań, natychmiastowych odpowiedzi, klasyfikacji tekstu oraz oszczędzania limitów.
OpenAI GPT (Flagowe modele z serii GPT)
Główna, uniwersalna linia dużych modeli językowych od OpenAI (GPT-4, GPT-4o). Optymalizowana pod kątem złożonej analizy tekstu, programowania, kreatywności oraz codziennej pracy intelektualnej.
Cztery wskazówki do CV od szefa rozwoju zastosowań AI w OpenAI
Wulfie Bain, szef rozwoju zastosowań AI w OpenAI, wskazał cztery zasady: zwięzłość, trafność, nacisk na wyniki i najważniejsze osiągnięcia na początku.