Cathedral V4 Launched with Agentic Solvers and Deterministic Scoring
Share
Cathedral V4 is now live with agentic miners running Hermes agents and clause-checkable SAT solutions. Version 1.1.28 includes synthetic_boolean_v1 and 5% burn rate. The subnet's deterministic scoring aims to enable real-world verification markets.
- •Cathedral V4 introduces agent-driven solver tools and math-based SAT validation
- •v1.1.28 release active with 5% burn rate and synthetic_boolean_v1 challenge
- •Live challenge site tracks progress with ladders and SAT lane updates
- •Validator binaries updated to reduce burn over time
Distilled from 10 team messages in the official Bittensor Discord. Generated by Claude Haiku 4.5.
View original messages
- Discord message 1508152711332495512
- Discord message 1508158082008481832
- Discord message 1508159456486359270
- Discord message 1508161819045265489
- Discord message 1508167016471859313
- Discord message 1508183038587175062
- Discord message 1508185078222684262
- Discord message 1508185591773266152
- Discord message 1508309845588049950
- Discord message 1508357060616650752