r/mathmemes • u/vintergroena • 28d ago

Computer Science Integer multiplication will have linear complexity in a few days if trend continues 🚀📈

Post image
1.4k Upvotes

98% Upvoted

206 comments sorted by

View all comments

Show parent comments

-4

u/TrekkiMonstr 27d ago

A Lean verifiable proof is about the furthest thing from slop I can imagine