Subnet Deep Dive
Conjectures SN66 publishes an Erdos 96 proof package
Bittensor's Conjectures SN66 publishes a paper, Lean source and review record for a claimed negative answer to Erdos problem 96.
Mathematics
All Tao Outsider articles tagged "Mathematics". Bittensor intelligence for serious TAO participants.
1 article