Asi jsem tomu měl dát víc clickbaitový název, třebato: Vyřešili jsme AI halucinace!* * v úzkém kontextu vědeckého ML** ** s využitím řady formálních ověřování, automatizovaného dokazování vět a aplikované teorie kategorií