Wahrscheinlich hätte ich diesem Titel einen clickbaitigeren Namen geben sollen, wie: Wir haben die AI-Halluzination gelöst!* * im engen Kontext des wissenschaftlichen ML** ** unter Verwendung einer Menge formaler Verifikation, automatisierter Beweisführung und angewandter Kategorientheorie