Axiom的目標是打造一位人工智慧數學家。 我們是弱勢一方。 公司成立僅 4 個月,比競爭對手晚了 2 年進入市場,員工人數不到 10 人(最近成長到 17 人),融資額和估值只有競爭對手的 1/5。 今天,AxiomProver 用 Lean(一種 100% 可驗證的語言)解決了 Erdos 問題 #124 和 #481。 前進!
正在載入線程內容
正在從 X 取得原始推文,整理成清爽的閱讀畫面。
通常只需幾秒鐘,請稍候。
正在載入線程內容
正在從 X 取得原始推文,整理成清爽的閱讀畫面。
通常只需幾秒鐘,請稍候。