Lean Focused Research Organization @lean-lang.org · Feb 23 Mathematician @davidbessis.bsky.social once waited 7 years for a paper to get accepted. Not because it was wrong, but because it was too complex to verify. In a recent conversation Bessis explained to @curtjaimungal.skystack.xyz how Lean could change that: Watch: www.youtube.com/watch?v=GHGi...
12 likes 1 replies
?
Replies
"Bessis explained to @curtjaimungal.skystack.xyz how Lean could change that" not really. All he said that he would like to feed his paper containing his proof into Lean and be told his proof is correct. from 48:02 to 58:03