A meme page to check every time MatLab crashes
@memecrashes
currently working on our PhD (imaginary issues no one cares about except a really really really specific audience)
if you think an ai is going to spend 7 weeks to prove an auxiliary lemma just so it can use it to prove a proposition that gives a small implication on the proof of a theorem that only is a slightly more general version of an already known unimportant result, you are wrong
I find it mildly amusing how mathematicians are currently clinging onto the hope that there is something special about their creativity that AI will not also be able to pull off in a year or two.
"to make money off harvesting your organs" 🇺🇸🦅
if you have "organ donor" on your drivers license and youre in an accident, the hospital will let you die or outright kill you to make money off harvesting your organs