Model OpenAI vyvrátil 80letou Erdősovu hypotézu — a rozpoutal spor, zda AI skutečně rozumí matematice
Interní „uvažovací“ model OpenAI na základě jediného zadání vyvrátil hypotézu, kterou maďarský matematik Paul Erdős zformuloval už v roce 1946 — takzvaný problém jednotkových vzdáleností v rovině (kolik nejvíce dvojic bodů může být od sebe vzdáleno přesně o jednotku). Model našel konstrukci, která překonává do té doby předpokládanou hranici, takže takových dvojic může být citelně více, než se myslelo. Firma to oznámila 20. května. OpenAI ↗ Scientific American ↗
Model sáhl po hluboké teorii čísel — nekonečných třídních tělesových věžích. Devět nezávislých matematiků včetně držitele Fieldsovy medaile Tima Gowerse výsledek ověřilo a v 19stránkové práci ho dotáhlo; Gowers napsal, že „žádný dosud vygenerovaný důkaz od AI se tomu ani nepřiblížil“. Model však optimální řešení nenašel a do publikovatelné podoby ho dovedli až lidé. Live Science ↗ arXiv ↗
Právě to živí spor. Skupina matematiků v „Leidenské deklaraci“ upozorňuje, že firemní modely jsou uzavřené — chybí transparentnost, reprodukovatelnost i přehled o jejich selháních. Britská matematička Ursula Martinová dodává, že o selháních modelu se nic nedozvíme — a to, že „model najde shodu“, ještě neznamená, že „rozumí matematice“. Otevřenou otázkou zůstává, kdo bude důkazy od umělé inteligence ověřovat. NZZ ↗
Model sáhl po hluboké teorii čísel — nekonečných třídních tělesových věžích. Devět nezávislých matematiků včetně držitele Fieldsovy medaile Tima Gowerse výsledek ověřilo a v 19stránkové práci ho dotáhlo; Gowers napsal, že „žádný dosud vygenerovaný důkaz od AI se tomu ani nepřiblížil“. Model však optimální řešení nenašel a do publikovatelné podoby ho dovedli až lidé. Live Science ↗ arXiv ↗
Právě to živí spor. Skupina matematiků v „Leidenské deklaraci“ upozorňuje, že firemní modely jsou uzavřené — chybí transparentnost, reprodukovatelnost i přehled o jejich selháních. Britská matematička Ursula Martinová dodává, že o selháních modelu se nic nedozvíme — a to, že „model najde shodu“, ještě neznamená, že „rozumí matematice“. Otevřenou otázkou zůstává, kdo bude důkazy od umělé inteligence ověřovat. NZZ ↗
🔥 Mohlo by vás zajímat
Umělá inteligence
Aký ďalší vývoj v AI môžeme čakať? / Vyriešenie matematického problému Paula Erdősa je neuveriteľný kvalitatívny skok
Nezávisle od seba sa v priebehu piatich dní udiali dve významné udalosti v oblasti umelej inteligencie (ďalej AI). Dvadsiateho mája 2026 dosiahla AI významný mí …
📰
Umělá inteligence
Biely dom považuje za nepriateľa každého, kto používa termín umelá inteligencia (AI) namiesto super inteligencie.
Americký prezident Donald Trump to uviedol na sociálnej sieti Truth Social bez… The post Biely dom považuje za nepriateľa každého, kto používa termín umelá inte …
Umělá inteligence
Trump odmítá „umělou inteligenci“. Chce prosadit nový název
Bílý dům považuje za nepřítele každého, kdo používá termín umělá inteligence (AI) místo super inteligence, napsal ve čtvrtek americký prezident Donald Trump na …
Z naší redakce původní
Vše →
Ruské útoky na Ukrajinu si vyžádaly nejméně 28 obětí

Petr Pavel odjel do Maroka a vynechá komunální volby

Fico žádá odstranění satirické sochy Trumpa z europarlamentu

Švédský soud odsoudil dva muže za utajený vikingský poklad, třetího obviněného z prodeje zprostil

V Gruzii zadrželi muže podezřelého z pokusu prodat uran-238 za 700 000 dolarů

Amsterdamské muzeum vrátilo Sicílii antickou vázu, loupež odhalila svatební fotka z roku 1976

Quebec: separatisté vyhráli s 28 % hlasů a bez většiny, referendum slibují až po Trumpovi

O čem píše Evropa: AfD vede zemský sněm, zatkli exšéfa BND, Puigdemont se může vrátit