Cathedral V4 launches with agentic SAT solving

Cathedral V4 went live with deterministic SAT-solving challenges for miners running Hermes agents. The subnet emphasizes real-world applications in hardware design and formal verification, with early data showing LLM-driven solvers can improve Z3 performance by 11%. Version 1.1.28 deployed with synthetic_boolean_v1 and 5% burn; first valid SAT receipt wins under a winner-take-all model.

• •Miners deploy Hermes agents to build and use solver tools
• •Solutions are deterministically verifiable; scoring is math-based
• •Website cathedral.computer live with challenge state and rankings
• •Validators syncing latest binary; burn ramping to 5% target