No human input， channeling the latent space of the new models.
GPT 5.6 Sol is probably the first model I've used that doesn't make mistakes on maths.
As we move to Astra &； beyond I don't know how humans can keep up on math.
Any pure research program is a harness loop away.
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, com...