OpenAI Astra rozwiązuje 10 otwartych problemów matematycznych
Model OpenAI Astra pokonał wyzwania, które pozostawały nierozwiązane przez dekady, publikując dowody w systemie Lean. Rywalizacja z Anthropicem przybrała na sile po twierdzeniach inżyniera tej firmy o rozwiązaniu połowy problemów w jeden dzień.
Wewnętrzny model OpenAI, znany jako Astra, pomyślnie rozwiązał 10 otwartych problemów matematycznych, z których niektóre stawiały opór naukowcom od 40 do 50 lat. OpenAI opublikowało szczegółowe stanowisko zawierające wszystkie dowody zapisane w języku Lean oraz opis procesu rozumowania modelu.
Sukces ten wywołał natychmiastową reakcję ze strony konkurencji. W mediach społecznościowych pojawiły się memy porównujące osiągnięcia obu gigantów AI:
OpenAI: Zhakowaliśmy jedną organizację. Anthropic: Ha, my zhakowaliśmy trzy.
OpenAI: Rozwiązaliśmy 10 otwartych problemów matematycznych. Anthropic: My rozwiązaliśmy połowę z nich w jeden dzień za pomocą Fable.
Nie jest to jednak żart. Dzień po publikacji artykułu OpenAI, inżynier z Anthropica potwierdził, że ich model Fable rzeczywiście rozwiązał połowę wymienionych problemów „na gorąco”, bez dostępu do internetu.
Dlaczego to ważne
AnalizaTo wydarzenie demonstruje gwałtowny postęp w zdolnościach modeli AI do rozwiązywania złożonych zagadnień naukowych, które wcześniej wymagały wieloletnich badań ludzkich. Takie osiągnięcia mogą przyspieszyć rozwój nauk ścisłych i inżynierii, zmieniając paradygmat pracy badawczej.
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.
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.