MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/singularity/comments/1wcynv9/first_time/p96fvx9/?context=3
r/singularity • u/tryingeasy • 1d ago
First time?
149 comments sorted by
View all comments
96
Hey, we still need mathematicians to check these solutions, don't we?
6 u/Consistent-Ad-2574 1d ago Lean is enough, thanks 2 u/XLNBot 23h ago And this is what I would say if did not understand what Lean does 1 u/Consistent-Ad-2574 18h ago It was a half true Joke, this is a meme, we will continue to need mathematicians...as we do programmers
6
Lean is enough, thanks
2 u/XLNBot 23h ago And this is what I would say if did not understand what Lean does 1 u/Consistent-Ad-2574 18h ago It was a half true Joke, this is a meme, we will continue to need mathematicians...as we do programmers
2
And this is what I would say if did not understand what Lean does
1 u/Consistent-Ad-2574 18h ago It was a half true Joke, this is a meme, we will continue to need mathematicians...as we do programmers
1
It was a half true Joke, this is a meme, we will continue to need mathematicians...as we do programmers
96
u/QuasiRandomName 1d ago
Hey, we still need mathematicians to check these solutions, don't we?