💡 LLM je Computing Revolution v2 💡 "Software 1.0 automatizuje to, co můžete specifikovat, Software 2.0 automatizuje to, co můžete ověřit." Odkaz na polynomiální ověřovací algoritmy (NP problémy) považuj za fascinující, v podstatě všechny NP (a trochu další) problémy lze automatizovat!