Články s tagem: dukazy

OpenAI zveřejnila 722 matematických rukopisů, které vytvořil její nevydaný interní model. Podle firmy každý z nich řeší nebo výrazně posouvá některý z otevřených problémů. Mnohé důkazy zkontroloval počítač, část ale zatím ověřena není. Žádný z nich podle dostupných informací neprošel recenzním řízením. Matematici reagují směsí úžasu a obav a nezávislá poradní skupina připomíná, že porozumění výsledkům teprve začíná.

Matematik z newyorské univerzity NYU tvrdí, že mu OpenAI během telefonátu popsala interní důkaz nápadně podobný jeho vlastní práci, a poté ho měla tlačit, aby ze spoluautorství vyřadil kolegu pracujícího pro konkurenční Anthropic. OpenAI obvinění z přístupu k soukromým datům popírá a označuje ho za technicky nemožné. Spor teď rozděluje část matematické a AI komunity.

Umělá inteligence Claude od firmy Anthropic během jedenácti dní z velké části samostatně vytvořila první kompletní, počítačem ověřený důkaz Fermatovy poslední věty. Nejde ale o to, že by AI vyřešila třistapadesát let starý matematický problém sama od sebe, tu práci už v roce 1995 odvedl britský matematik Andrew Wiles. Úspěch spočívá v něčem jiném, a možná stejně důležitém.