AI 技術社群精選內容，按時間排序瀏覽所有策展貼文。共 2 篇
MathCode v0.1.0 發布，強化數學形式化證明能力。 MathCode 是一個終端 AI 程式撰寫助手，專注於數學形式化引擎。本次 v0.1.0 更新引入了多項核心功能，旨在透過 Agent 協作與結構化證明，提升數學問題的...
MathCode 是一款能將自然語言數學問題自動轉化為 Lean 4 形式化證明的 AI 代理。 MathCode 是一個終端 AI 程式撰寫 Agent，專門用於數學形式化驗證。使用者只需輸入自然語言描述的數學問題，系統便會自動將其...
