Články podle tagu: ai-math

GPT-5.4 Pro vyřešila úlohu Erdőse č. 1202 ze seznamu Greena

Zjistěte, jak GPT-5.4 Pro s Liamem Pricem vyvrátila hypotézu Erdőse v aditivní kombinatorice. Kontrpříklad s lineárním podílem přeživších čísel. Podrobnosti pro matematiky a vývojáře umělé inteligence.

GPT-5.4 Pro: protipříklad k GCI necentrovaných měr

GPT-5.4 Pro vyvrátil hypotézu gaussovské korelační nerovnosti pro posunuté gaussovské míry. Protipříklad v 2D s pruhy, zobecnění na n≥2. Podrobnosti řešení na solveall.org. Studujte pro AI v matematice.

Spojení vzorců π prostřednictvím CMF a AI

AI z Technionu spojil 385 vzorců čísla π do jediné CMF-struktury: 43 % z základní. Pro matematiky a vývojáře — detaily metody, klastry, perspektivy. Prozkoumejte analýzu.

AI v matematice: závěry Terence Tao

Terence Tao sdílí zkušenosti s každodenním použitím AI: generace hypotéz je levná, ale verifikace je kritická. Rozbor úloh Erdőse, chytračnost vs inteligence. Pro vývojáře a matematiky.