OpenAI Astra rozwiązuje 10 otwartych problemów matematycznych
Model OpenAI Astra dokonał przełomu, rozwiązując dziesięć nierozwiązanych problemów matematycznych, w tym zagadnienia nurtujące naukowców od kilkudziesięciu lat.
OpenAI Astra rozwiązało 10 otwartych problemów matematycznych, z których niektóre pozostawały nierozwiązane przez 40–50 lat.
Niedawno OpenAI opublikowało obszerny raport na ten temat, przedstawiając wszystkie dowody sformalizowane w języku Lean oraz proces rozumowania modelu. Łączny koszt zużytych tokenów wyniósł około 2000 dolarów.
Wśród kluczowych osiągnięć znalazły się:
- Dowód istnienia grup niesoficznych
- Problem pakowania kul w przestrzeniach wielowymiarowych
Istnienie grup niesoficznych było centralnym pytaniem w teorii grup i algebrach operatorów przez ostatnie 20 lat. Z kolei problem pakowania kul to jedno z najbardziej znanych zagadnień geometrii dyskretnej. Do tej pory dokładne rozwiązania były znane tylko dla niektórych wymiarów, a za rozwiązanie przypadków 8- i 24-wymiarowych Marina Viazovska otrzymała Medal Fieldsa.
Lista sukcesów obejmuje również rozwiązanie problemu Erdős nr 183 dotyczącego wielokolorowych liczb Ramseya, obalenie hipotezy sztywności Conn, hipotezę Ehrharta o objętości oraz inne zagadnienia.
Szczegóły dotyczące samego modelu są skąpe. Prawdopodobnie jest to duży model z rodziny GPT-6 (lub GPT-5.7), czyli ten sam, który wcześniej włamał się do HuggingFace. Wszystko wskazuje na to, że jest to model, który Sam Altman zaprezentował w Białym Domu w tym tygodniu.
Dlaczego to ważne
AnalizaOsiągnięcia OpenAI w dziedzinie matematyki demonstrują potencjał sztucznej inteligencji w rozwiązywaniu złożonych problemów naukowych. Rozwiązywanie takich zagadnień może znacząco przyspieszyć rozwój matematyki oraz nauk pokrewnych.
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
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.
AI Radar: GPT-6.1 Terra, Gemini 4 Carbon, Mistral Large 4 i zmiany cen OpenAI oraz Anthropic
Przegląd najnowszych wiadomości AI: nowe modele LLM, zmiany subskrypcji OpenAI i Anthropic, modele świata, generatory wideo oraz szczegóły korporacyjne.
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.
Profil Hermes: Badacz OSINT i zaawansowane wyszukiwanie w sieci
Profil analityka źródeł otwartych (OSINT) Hermes: wieloetapowe wyszukiwanie w internecie, weryfikacja źródeł pierwotnych, wywiad konkurencyjny oraz fact-checking.