Jonathan Gorard
@getjonwithit
Applied mathematician, computational physicist @Princeton Previously @Cambridge_Uni Making the universe computable.
I've known all my life that there were other intelligent beings out there capable of doing mathematics, many of them much better and faster than me. I still find it fun and rewarding to think about mathematics, even if I know that they could do it "better". That will remain true
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.
Anyone who has ever taken a calculus or linear algebra course has almost certainly proved something that required choice, even if they didn't realize that was what they were doing. Conflating sequential continuity and continuity, assuming vector spaces have bases, etc.
have u ever proved something using the axiom of choice? (doesn't have to be original research but does have to be u legitimately working out a proof not just reading along)
How do I tell the head of my research group that the 15-page grant proposal I was supposed to have drafted by tomorrow morning currently consists of 2.5 paragraphs because I spent 4 days coming up with a punny title? (In my defense, it's a pretty clever pun.)