New BrownDust2 Figures Incoming! 🎉
Morpeah, Teresse, Loen, Nebris, Eclipse, and Luvencia figures are officially in the works! 💃
Stay tuned for more details coming soon~! 🙌
#BrownDust2# #Figure# #HobbySakura# #Lovely# #Hanabee# #TriEagles#
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:
They actually come in many different styles, but these three features -- cluster of triangles, columns, partial stones covers -- seem to be universal constants