X · @gdb
· X / Twitter
ten significant advances in mathematics and theoretical computer science. solved using an internal version of Astra, our next major model, for a total…
ten significant advances in mathematics and theoretical computer science.solved using an internal version of Astra, our next major model, for a total cost of about $2000 at Sol API prices:Sebastien Bubeck: yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major mo