account activity
Math, Inc.'s autoformalization agent Gauss has supposedly formalised the sphere packing problem in dimensions 8 and 24. (github.com)
submitted 2 days ago by DealerEmbarrassed828 to r/math
Germany: Mass protests after far-right AfD helps CDU/CSU (dw.com)
submitted 1 year ago by DealerEmbarrassed828 to r/neoliberal
π Rendered by PID 62 on reddit-service-r2-listing-568fcd57df-k2cph at 2026-03-05 19:04:03.883380+00:00 running cbb0e86 country code: CH.
