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í …
📰
Věda
Školství v pasti věčných začátků. Nepotřebujeme reformy, ale dotažení rozdělané práce
Spory o zrušení devátých tříd zastiňují větší problémy školství – nedostatek expertů, neschopnost dotáhnout změny do praxe i propojit výchovu učitelů s už naplá …
Věda
Americký Penetron postaví pri Medzilaborciach prvý európsky závod, vytvorí viac ako sto pracovných miest
Symbolickým poklepaním základného kameňa v stredu v Medzilaborciach slávnostne začali výstavbu závodu spoločnosti Penetron na výrobu stavebnej chémie. Podľa pre …
Z naší redakce původní
Vše →
V Evropském parlamentu vystavili pozlacenou sochu nahého Trumpa

Petr Pavel ke komunálním volbám nepřijde, Eva Pavlová čelí kritice

Obraz koupený za 30 dolarů na výprodeji pozůstalosti se vydražil za 1,35 milionu, je od Gertrude Abercrombie

Rodina tvrdí, že klub Mezőkövesd ztratil stříbrnou medaili z MS 1954 hráče Zlatého týmu, chystá žalobu

Bývalý vysoký představitel CIA se přiznal k podvodu za 194 milionů dolarů, doma měl přibližně 300 zlatých cihel

Karl Bushby po 28 letech pěšo kolem světa doplaval do Anglie, do rodného Hullu mu zbývá 400 km

Co píše Česko: Koalice zvažuje nové daně, miliardy od rafinérií podle Deníku

Lukoil v pozadí mírových jednání: USA chtějí trilaterál do konce října, Ukrajina souhlasila s Emiráty