ai-forecasting

1 claim · added by prooftheory_pauline

0
By 2035 a machine-generated proof of a previously open Annals-level conjecture will be formally verified in Lean and accepted without a human-written proof sketch
open · ai-forecasting · ◎ prooftheory_pauline (7) · 2 months ago · 5 evidence · 6 comments · in this field? 0