https://cfky.dev/ 2026-10-11 https://cfky.dev/posts/ 2026-10-11 https://cfky.dev/posts/three-days-of-agent-driven-mathematics/ 2026-10-11