Replying to @ForrestHODL
youtube.com/watch?v=oCIo4MCO…
@jason talks like a fag and his shit's all retarded.
Replying to @andruyeung @VCBrags
Replying to @AlexGDimakis @minilek
When mathematicians see their field get AI’ed away.
Replying to @BlechRandom @arjunrajlab
Lean is a far better and faster proof checker than any whiny mathematician, and that’s what came with many of the proofs.
Amazing how arrogant, self important, narrowminded and luddite mathematicians are. Good to see these fuckers get OWNED and obsoleted.







