HotInfo Menu
✍️ REDAKČNÍ VÝBĚR
Model OpenAI vyvrátil 80letou Erdősovu hypotézu — a rozpoutal spor, zda AI skutečně rozumí matematice

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 ↗
Umělá inteligence Věda 👤 paul erdős 👤 tima gowersa 👤 ursula martinová
🕒

Minuta po minutě

LIVE