#數學

• 哥德巴赫猜想演進史：從 1742 年的一封信，到 2026 年宣稱的 AI 證明
  2026-10-12
• 給數學新手的 Lean 導讀：為什麼電腦檢查過的證明比同行審查更可信？
  2026-09-18
• 從 7,000 萬到 186：孿生質數猜想的百年突圍與未竟之路
  2026-09-13