X · @teortaxesTex
· X / Twitter
«We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them.» This feels more like superintelligenc…
«We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them.»This feels more like superintelligence.Sebastien Bubeck: 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 proof