Nejdelší matematický důkaz v historii napsala umělá inteligence Claude za necelé dva týdny
Před 19 hodinami
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.