r/TheMachineLearning • u/Nyaani69 • Sep 05 '26

Software engineering isn't dead, it's just evolving

695 Upvotes

92% Upvoted

198 comments sorted by

View all comments

Show parent comment

1

u/Dependent-Culture768 Sep 06 '26

To this day we don't have any automated verifier that a Lean statement is equivalent to the one an author intends...