Blog

Short, plain-language accounts of our papers and side projects.

• Colouring the integers in two colours: a relaxed Goldbach problem, settled for every integer

  September 2026 · Number theory

  Read (English)  ·  中文版  ·  知乎 ↗  ·  Paper ↗  ·  Lean code ↗
• How far can the confidence scores of a commercial AI decision model be trusted? An audit of TypeSafe's Jev

  September 2026 · AI evaluation

  Read (English)  ·  中文版  ·  知乎 ↗  ·  Paper PDF ↓  ·  Code & data ↗