科技

Tech

追蹤 AI、資安、數位工具、軟體產品、新創、半導體、產業科技與科技政策。

科技最新文章

AI 證出數學定理,Lean 4 逐行機器驗證

AI 拿奧數金牌很亮眼,但那是自然語言、靠人工評審判對錯。用 Lean 4 逐行驗證的證明才解掉了難題:不用人幫忙也知道它是對的。這才是 AI 可信度第一次有的工程解法。

APPI 編輯部 13 分鐘

熱門標籤