4 ms·
They did also take some of the informal proofs and formalized them using AlphaProof, emitting Lean.
by perching_aix 1y ago
They 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