# GPT-5.4 Pro našel protipříklad k hypotéze o necentrovaných gaussovských mírách
Model GPT-5.4 Pro vygeneroval protipříklad k hypotéze rozšíření gaussovské korelační nerovnosti (GCI) na necentrované gaussovské míry. Řešení ve formátu třístránkového článku přijala platforma solveall.org 12. března 2026. Protipříklad vyvrací předpoklad zachování nerovnosti při posunu střední hodnoty gaussovského rozložení.
Gaussovská korelační nerovnost: historie a podstata
GCI je formulována pro centrovaná gaussovská rozložení: pravděpodobnost průniku dvou symetrických konvexních množin není menší než součin jejich marginálních pravděpodobností. Dvourozměrný případ dokázal Loren Pitt v roce 1977. Plné dokázání pro libovolné dimenze předvedl Thomas Royen v roce 2014 — jednoduché a elegantní, ale zpočátku podceňované odbornou komunitou.
V roce 2025 Seijei Nakamura a Hiroshi Tsuji zobecnili výsledek na množiny se společným gaussovským bariocentrem. Otevřenou otázkou zůstávaly libovolné necentrované gaussovské míry, kde střední hodnota neodpovídá počátku souřadnic.
Protipříklad od GPT-5.4 Pro
Model vytvořil dvourozměrný protipříklad: dvě symetrické pásy, téměř rovnoběžné, s gaussovskou střední hodnotou posunutou tak, že pravděpodobnost jejich průniku je menší než součin individuálních pravděpodobností. Konstrukce vychází z geometrické intuice — posun střední hodnoty vede k rychlému úbytku pravděpodobnosti průniku v limitě.
Protipříklad lze zobecnit na dimenze n ≥ 2. V jednorozměrném případě model dokázal platnost nerovnosti: symetrické konvexní intervaly na přímce jsou vnořené jedna do druhé.
Řešení je zformulováno v LaTeX jako plnohodnotný článek s definicemi, lemami, důkazy prostřednictvím polárních souřadnic a limitního přechodu, včetně seznamu literatury.
Platforma solveall.org a kontext
Solveall.org je kurátovaná sbírka otevřených úloh v teorii pravděpodobnosti a příbuzných oblastech, vytvořená Edgarem Dobribanem z Wharton School of Business. Platforma slouží jako benchmark pro AI uvažování. Úloha o GCI měla status nevyřešené od okamžiku přidání.
Řešení podal uživatel Liam Price, který potvrdil generování GPT-5.4 Pro a ověření jinými modely.
Předchozí úspěchy GPT-5
Řada GPT-5 ukazuje pokrok v řešení matematických úloh:
- Leden 2026: GPT-5.2 Pro vyřešil úlohu Erdőse #728 o dělitelnosti faktoriálů.
- Březen 2026: GPT-5.4 zvládl úlohu FrontierMath Bartosze Naskrenckého (20 let vývoje).
Protipříklad k GCI se vyznačuje kreativním přístupem: ne výpočty, ale geometrickou konstrukcí, která tradičně vyžaduje lidskou intuici. Úloha byla „nízko visícím ovocem“ — málo prozkoumanou po roce 2025, s elementárními metodami.
Co je důležité
- GPT-5.4 Pro vyvrátil hypotézu o GCI pro necentrované míry prostřednictvím dvourozměrného protipříkladu se symetrickými pásy.
- Konstrukce lze zobecnit na n ≥ 2; v 1D nerovnost platí.
- Řešení využívá polární souřadnice a limity — základní techniky.
- Solveall.org potvrzuje roli benchmarku pro AI v matematice.
- Zdůrazňuje posun od výpočtů k geometrickému myšlení v AI.
Tento případ ilustruje, jak současné modely zvládají úlohy, kde je potřeba ne brute force, ale vhled. Pro vývojáře AI je aktuální testování na podobných platformách.
— Editorial Team
Zatím žádné komentáře.