SAMSU Assassins 2011

[SAMSU Assassins 2011 @eldenelmanto]

My only reason to have a twitter handle back in 2011-ish is to coordinate a game of assassins in college. So if you can teach me how to change my "display name" or whatever, please reach out.

But I am the author of https://t.co/gUR1zycVBI 1/n

[SAMSU Assassins 2011 @eldenelmanto]

@Quasilocal @ben_golub he can speak to. If anything, to understand better his customer base and, better, to understand what the profession is about, what its values are (new and old) and the nuances behind the present discourse.

[SAMSU Assassins 2011 @eldenelmanto]

@Quasilocal @ben_golub I cannot agree more. Unless @ben_golub believes that our profession is not relevant for his product (which seems weird given his recent post), I am not sure what the message here is. I was a PhD student at NW and there are so many thoughtful and brilliant mathematicians that...

[SAMSU Assassins 2011 @eldenelmanto]

@nasqret Mathematicians*

[SAMSU Assassins 2011 @eldenelmanto]

@nasqret I will immediately sign up for the "don't fuck with mathematician" movement!

[SAMSU Assassins 2011 @eldenelmanto]

@nihilunbounded Dark but really good question!

[SAMSU Assassins 2011 @eldenelmanto]

@Quasilocal @nihilunbounded To be fair, editflow is kind of a good system...but this is some dark shit.

[SAMSU Assassins 2011 @eldenelmanto]

@Quasilocal @nihilunbounded Submissions to the annals used to go through a secretary and now: "On August 24, 2026, the Annals of Mathematics will begin receiving submissions via the online editorial system, Editflow.  This decision is the result of the drastic increase in the number of submissions"

[SAMSU Assassins 2011 @eldenelmanto]

@Ognifedefingo @littmath In the past when something exciting is proved (Fermat, Bloch-Kato etc.) people are excited about these new objects and can't wait to study and understand them. That some problems are important only increases engagement not dispirit people

[SAMSU Assassins 2011 @eldenelmanto]

@Ognifedefingo @littmath Although math taste has always been very subjective I find it extremely dispiriting that the AI discourse is rearing its ugly head on it. Are we supposed to avoid certain fashionable problems or areas of math just so we don't compete with AI?

[Tony Feng @tonylfeng]

Nice achievement and valuable contribution! But it's not the place of journalists to anoint the "Toughest Mathematics Proof". I wrote my master's thesis on this proof, and it is a great result, but the veracity of the headline is debatable at best. (And please, use the word "formalize" instead of "verify" in such contexts.) How about journalists stick to reporting facts and let scientists evaluate the science?

[SAMSU Assassins 2011 @eldenelmanto]

An important piece.

[garvy @garvvee]

Hi! I’ve been tweeting a lot about the state of math recently, but failing to really express the whole of my opinion. So I went and wrote about it long form. Here it is! Check out my first substack article :D

https://t.co/eTHhsMg2uZ

[SAMSU Assassins 2011 @eldenelmanto]

@nasqret developing*

[SAMSU Assassins 2011 @eldenelmanto]

@nasqret in engaging with it? Mathematics is something beyond the substance itself, it is an infrastructure of people engaging and interacting with it in the most human way possible. AI, to some extent, has made mathematics more accessible by letting people from developed countries..

[SAMSU Assassins 2011 @eldenelmanto]

@tonyyueyu Thanks! How about point 1)?

[SAMSU Assassins 2011 @eldenelmanto]

@nasqret This is entirely fair, thanks for clarifying. But I also think we should acknowledge how 1) people can be materially affected by this "initial spark" and 2) anticipate and imagine what this "foreign spark" is and have a healthy dose of skepticism about it.

[SAMSU Assassins 2011 @eldenelmanto]

@nasqret I see. It seems that our difference is about the initial definition of "human thinking" then?

[SAMSU Assassins 2011 @eldenelmanto]

@nasqret Having said that, I re-iterate my agreement with you that mathematics is a human way of engaging with "reality" and this is a point that should not be overlooked by all sides.

[SAMSU Assassins 2011 @eldenelmanto]

@nasqret is truly a disaster. It also seems like an unthoughtful extrapolation of what's going on right now among experts in specific fields, like you and I, who are having "a blast" with AI without recourse or duty to the future generation.

[SAMSU Assassins 2011 @eldenelmanto]

@nasqret and people with no access to experts interact with it in meaningful ways. And that's a beautiful and important thing. But a world in which we cannot engage in mathematical dialogue, discourse and subject to the whims of AI proofs and whose "court of law" is a checkmark in Lean..