4 ms·
But that's not what they're doing here. They're comparing Alphaevolve's outputs numerically against a scoring function
by griffzhowl 1y ago
But that's not what they're doing here. They're comparing Alphaevolve's outputs numerically against a scoring function
- perching_aix 1y agoThey did also take some of the informal proofs and formalized them using AlphaProof, emitting Lean.
- griffzhowl 1y agoAh ok, I didn't notice that part, thx