#Lean

• 哥德巴赫猜想演進史：從 1742 年的一封信，到 2026 年宣稱的 AI 證明
  2026-10-12
• 給數學新手的 Lean 導讀：為什麼電腦檢查過的證明比同行審查更可信？
  2026-09-18