Objevy AI přináší NEČEKANÝ problém...
Hands-on AI: http://www.marekbartos.ai/ Umělá inteligence už neřeší jen matematické testy — začíná dělat skutečné vědecké objevy. OpenAI Astra podle zveřejněných výsledků vyřešila otevřené matematické problémy, její důkazy kontroluje Lean a tím vzniká úplně nový problém: co když AI začne produkovat tisíce pravdivých výsledků, kterým lidé nerozumí a které možná vůbec nejsou důležité? Podíváme se na budoucnost matematiky, vědy i nový fenomén „truth slop“. 00:00 Umí AI skutečně dělat matematiku? 01:36 Co dokázala OpenAI Astra 03:46 Jak Lean kontroluje důkazy AI 05:59 Co zbývá lidským matematikům? 07:31 REKLAMA – Hands-on AI 09:45 AI začíná urychlovat vědecké objevy 15:19 Truth slop: nový problém vědy Spolupráce s CANS: https://cz.cans.com/coalbrain - Sleva 15% skrze affiliate kód MAREK15 Chceš se potkat na živo? https://www.marekbartos.ai/ Hero Hero - https://herohero.co/marekbartos 🤖 Chceš vlastního AI zaměstnance? Jsme tu pro Tebe! 🦾 https://www.coalbrain.cz/ai-zamestnanci-a-virtualni-asistenti/ info@coalbrain.cz https://www.youtube.com/@bartosmarek?sub_confirmation=1 #AstraAI #AIMatematika #TruthSlop





