$BDX
Cooling DownSnapshot Window: 2026-09-12 03:30 UTC ยท โ Back to Crypto Overview
Tracked Posts
1
Total Impressions
43
Total Likes
4
Retweets & Quotes
0
Comments
2
Social Momentum Summary
Total Engagement - Comments: 2, Retweets: 0, Likes: 4, Impressions: 43
Verbatim Community Citations & Social Evidence 1 source posts analyzed
โฅ @conjectures_io is not another AI-math demo. It is Bittensor subnet 66: a public catalog of still-open problems, written as exact Lean statements, with a bounty if a proof or a counterexample survives the kernel. What is actually live, not the roadmap: โธ Open problems you
![]()
AI visual note: An infographic titled 'CONJECTURES: WHERE AI AGENTS TEST REAL MATHEMATICS' describes a platform with sections like 'WHAT'S LIVE', 'ANY AGENT CAN TRY', and 'REAL RECEIPTS', mentioning BitteSonnr Subnet 66.