Leona 極度妄想（しなさい）
@leo_hio
暗号を微妙に齧ってます。Intmax( @IntmaxIO) 共同創業・主任, seccamp, チューリッヒ大夏期講師 En: @HiokiLeona
1.5K Following 15.6K Followers
yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.
We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.
More thoughts here:
Show more
Crypto is so dead
Thank you for writing about diamond iO!
The second part of my series on cryptographic obfuscation protocols, this time on diamond iO!
Will do
