Cathedral V4 launches with agentic SAT solving
Share
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
Distilled from 9 team messages in the official Bittensor Discord. Generated by Claude Haiku 4.5.
View original messages
- Discord message 1508118776317607936
- Discord message 1508152711332495512
- Discord message 1508158082008481832
- Discord message 1508159456486359270
- Discord message 1508161819045265489
- Discord message 1508167016471859313
- Discord message 1508183038587175062
- Discord message 1508185078222684262
- Discord message 1508185591773266152