我可能應該給這個一個更具吸引力的標題，比如： 我們解決了 AI 幻覺！* * 在科學機器學習的狹義上下文中** ** 使用一堆形式驗證、自動定理證明和應用類別理論