多 Agent 数学解题管线的第一期用 Java 25 的 Structured Concurrency 加 Spring AI 2.0 和 Ollama 搭起来，Spring Boot 4.0 与 Gradle 9 的兼容性问题在过程中一起解决。