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: https://t.co/8SjXONeh38
@SomDB10@ylecun@mkratsios47@NSF@RapidResponse47@WHOSTP47@teamuidp who is doing quantum computing? who knows semiconductors? lithography? Those are REAL physics problems, GTFO with your mathematics fantasy world, and BTW that's also starting to get DOMINATED right now by AI.
And lets not talk biology...
@justALearner9@ylecun@mkratsios47@NSF@RapidResponse47@WHOSTP47@teamuidp "At various times, there have been industry labs that had fundamental research activities and have made important scientific contributions... That disappeared in the 1990s"
that is not basic research, and that is NOT only giant llms.
@ylecun@mkratsios47@NSF@RapidResponse47@WHOSTP47@teamuidp bro you are seriously seriously brain rotted, how can you objectively THINK THAT, maybe in the 2000's, but right now, do you seriously think ANY university even compares to the frontier labs or even the chinese ones? You are kidding yourself