https://huschi.bearblog.dev/ 2026-01-16 https://huschi.bearblog.dev/the-final-benchmark/ 2026-02-19 https://huschi.bearblog.dev/autoproving-the-future-of-math/ 2026-01-24