Prawdopodobnie powinienem był nadać temu bardziej chwytliwy tytuł, na przykład: Rozwiązaliśmy halucynacje AI!* * w wąskim kontekście naukowego ML** ** używając mnóstwa formalnej weryfikacji, automatycznego dowodzenia twierdzeń i zastosowanej teorii kategorii