The speaker believes a model like GPT-6 Astra is technically capable of producing proofs for very difficult problems if it is given the right information.

“like a harness is not that necessary for what they did the way that i would put this is that i think a model like a gpc6 astra type thing is technically smart enough conditioned on the right information to come up with a proof for these very very difficult problems now how you get to that”