cfc pfp
cfc

@cfc

🚀 Aleph prover just went BEAST MODE 4 math problems unsolved for 20+ years. Formal proofs in Lean 4. Less than 48 hours. Und…
0 reply
0 recast
0 reaction