April 2026 — Mathematical games, bio-statistical data analysis, formalization using Lean, and practical experiments to estimate π.