Sabitlenmiş Tweet
presentable (∞,1)-nat
1.3K posts
presentable (∞,1)-nat
@sheafnat
gay cat, homotopy theorist • punk & breaks, diy, jewelry, furry rts • avi @sonokido • banner @SpaceGoatRodeo
sfw but 18+ Katılım Aralık 2020
648 Takip Edilen176 Takipçiler
presentable (∞,1)-nat retweetledi
@ludwigABAP To be honest I think there’s some chance this happens to research math as a whole, if we don’t adapt. It’s possible we end up with an equilibrium where the tools are worse than human mathematicians but good enough to “justify” massive cuts and loss of human capital.
English
presentable (∞,1)-nat retweetledi
presentable (∞,1)-nat retweetledi
@littmath @NoahJSnyder @krishnanrohit Oh nice! It's a shame that we won't overlap, since this is my last semester here.
English
@sheafnat @NoahJSnyder @krishnanrohit I’ll be there in the fall incidentally! And yes, the current climate is quite bad but also these things are cyclical—no consolation to people currently on the market of course.
English
Maybe it's just me, but I feel no grief at all. A bit concerned about what the future will bring, sure, but that's because the future is unknown. In general this has been mostly joyous! The world is so rich!
Alex Imas@alexolegimas
I have been thinking about this post for days. During pauses, when things slow down during the day, this is the emotion I’m left with. Things are going to change. We will (I hope) get to other side with something better. But we will also lose many things, and it’s okay to grieve for them.
English
@littmath @NoahJSnyder @krishnanrohit Fair. I may be biased from the last year of being at The Most Targeted University In Cambridge MA, and the last 2 months of wondering whether msprf exists lol
English
English
@littmath @NoahJSnyder @krishnanrohit This is fair. It's possible I misunderstood too, of course. Just speaking for myself, saying there's a feeling that I could describe as preemptive grief over the defacto death of the mathematical community.
English
@sheafnat @NoahJSnyder @krishnanrohit Of course I think it’s possible/likely society will change in a way I find unpleasant. But I understood “grief” to be about something more philosophical here—maybe I misunderstood.
English
@littmath @NoahJSnyder @krishnanrohit Surely one can understand the feeling that this may happen to us, when you see AI "math" companies raising 9-figure sums and poaching mathematicians, all while the research mathematics job market getting worse every year
English
@littmath @NoahJSnyder @krishnanrohit I mean, compare it to what is happening in visual art or animation. In reality, it has become significantly harder to spend your days making such things, since it was decided by capital owners that bare AI output was _good enough_, far before any people in the industry agreed
English
@tsotchke If you're planning on focusing on higher category theory, may I suggest Rune's notes as an approachable intro runegha.folk.ntnu.no/naivecat_web.p…
Though I learned this stuff before these notes, I'd guess you could jump pretty directly from them to HTT ch.6 (if you already know toposes)
English
@pigeon__s @slow_developer @AcerFur Sure, this particular complaint would be quelled. I still think the idea that it's necessarily a huge deal that a great mathematician is autoformalizing is flawed; e.g. one could make a similar claim about univalent foundations and Voevodsky, and that didn't exactly pan out
English
@sheafnat @slow_developer @AcerFur sounds to me like all it would take to calm you down is place "one of the" before "greatest living mathematician" which I guess is true, but a very irrelevant argument not worth having
English
AI bros once again not beating the *great man theory* allegations.
Greatest living mathematician? Really?
We as mathematicians should observe that they are always performing vulgar approximations of our field entirely for capitalistic motives, and it cuts against us.
Haider.@slow_developer
you know things are getting serious when the greatest living mathematician uses claude code to formalize a proof in lean not only that, Tao recently said AI is no longer hype when it comes to mathematical discovery and two weeks ago, gpt-5.2 also found a mistake in his work
English
@slow_developer @AcerFur anyways i'm in a thesis grind rn so i'm gonna go do that instead of thinking about this
English
@slow_developer @AcerFur The weak argument is that it would be ridiculous to say that he's better or worse than other famously strong mathematicians in other fields (e.g. the canonical examples are Lurie, Gaitzgory, or any fields medalist). There is no real "mathematical IQ" total order
English
presentable (∞,1)-nat retweetledi
To those in denial about the peril in our field, look at how late MSPRF is. Look at how many TT postings there were this year on mj compared to a few years ago. Talk anyone who was on the market in the last two cycles.
English
After all, academia is generally being hollowed out and sold for scrap to private bidders (see recent funding cuts and the tanking academic job markets).
Those in charge of funding know no mathematics--if they believe these approximations and divert funding, we're all fucked.
English