Model Astra od OpenAI rozwiązuje dziesięć skomplikowanych otwartych problemów matematycznych
Nowy wieloagentowy model Astra od OpenAI udowodnił dziesięć złożonych problemów matematycznych, które pozostawały nierozwiązane przez dekady. Przełomowe osiągnięcie zostało sformalizowane w systemie Lean przy minimalnych kosztach obliczeniowych.
Model Astra od OpenAI rozwiązuje dziesięć skomplikowanych otwartych problemów matematycznych
Większość z tych problemów pozostawała nieudowodniona przez wiele dekad. Nowy wieloagentowy model Astra zdołał je rozwiązać i sformalizować dowody za pomocą systemu Lean. Model został zaprezentowany przez Sama Altmana w tym tygodniu w Waszyngtonie i będzie pierwszym modelem poddanym nowemu procesowi zatwierdzania przez rząd przed oficjalnym udostępnieniem.
Najbardziej imponującym aspektem jest fakt, że całkowity koszt rozwiązania wszystkich dziesięciu problemów wyniósł mniej niż 2000 dolarów w tokenach, zgodnie z szacunkami Sol. OpenAI próbowało wcześniej rozwiązać inne złożone problemy, jednak bez sukcesu, ale potencjał skalowalności tego modelu jest ogromny.
Dlaczego to ważne
AnalizaSukces modelu Astra otwiera nowe możliwości automatyzacji dowodów matematycznych, co może znacząco przyspieszyć badania naukowe oraz transformować metody nauczania.
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.
GPT-6 Astra: przewodnik po nowym modelu OpenAI
Pełny przegląd flagowego modelu GPT-6 Astra: architektura agentowa, możliwości Computer Use, kodowanie w Codex, benchmarki cyberbezpieczeństwa, niuanse promptowania oraz przewodnik po migracji API.
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.