Subnet 66 has pivoted from coding assistance to AI-assisted mathematical proof discovery. Its new architecture is designed to reward miners for findin