nanoda

1 則報導橫跨 1 期2026-08-02 起

一起出現的主題

#Lean1 #lean4lean1

2026-08-02Hacker News

Lean 修補核心 soundness 漏洞 #14576：AI 輔助產生的 Collatz 猜想錯誤反證曾獲接受