Hopf problem

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

一起出現的主題

#Codex1 #Claude1 #Lean1

2026-08-28Reddit r/singularity

據傳學者藉助 Claude 提出 Hopf problem 百頁證明，OpenAI 研究員以 Codex 轉為 25 萬行 Lean 程式碼