#Lean

• The Evolution of Goldbach's Conjecture: From a 1742 Letter to a Claimed AI Proof in 2026
  2026-10-12
• Lean for Non-Mathematicians: Why Machine-Checked Proofs Beat Peer Review
  2026-09-18