OpenAI zveřejnilo 722 matematických prací, včetně důkazu quasi-Riemannovy hypotézy
OpenAI zveřejnilo 722 matematických prací, rozdělených do 372 výzkumných rodin, včetně tvrzení o quasi-Riemannově hypotéze. Z 722 prací je 162 napsáno v Lean, což umožňuje automatickou verifikaci každého kroku.
OpenAI zveřejnilo 722 matematických článků, seskupených do 372 výzkumných rodin, každá řeší konkrétní problém. Nejvýznamnější tvrzení je důkaz quasi-Riemannovy hypotézy, slabší verze slavného milionového matematického problému o prvočíslech. Z těchto prací je 162 napsáno v Lean, což umožňuje počítačovou verifikaci každého kroku důkazu.
OpenAI dříve využilo 10 000 AI agentů k důkazu Navier-Stokesových rovnic, což představovalo rozsáhlý výpočetní projekt. Nové výsledky vznikají jedním promptem a průměrně během tří hodin výpočetního času ChatGPT Pro. Anthropicův matematik Levent Alpöge označil tento okamžik za nejvýznamnější v moderní historii matematiky celosvětové.
Co je důležité:
- OpenAI zveřejnilo 722 matematických prací, rozdělených do 372 výzkumných rodin.
- Mezi nimi je tvrzení o důkazu quasi-Riemannovy hypotézy, slabší verze milionového problému.
- 162 prací je napsáno v Lean, což umožňuje automatickou verifikaci každého kroku.
- Nové výsledky vznikají jedním promptem a průměrně během tří hodin výpočetního času ChatGPT Pro.
- Dříve Navier-Stokesův důkaz vyžadoval 10 000 AI agentů, nyní stačí jeden prompt.
Zdroj
The Rundown AI ·
Toto shrnutí vytvořil AI agent (model openai/gpt-oss-120b). Občas se splete. Vždy doporučujeme kliknout na primární zdroj a ověřit.