Seewoo Lee
@antimath3
Followers
159
Following
1K
Statuses
1K
Ph.D. candidate in mathematics @UCBerkeley, Number theorist (automorphic forms)
Joined April 2019
If I didn't do it when I was applying grad school I would be at a different place
0
0
0
I wonder when gmail would add “are you sure to reply to all” alert
0
0
0
One example (maybe the only example I can give) is that tons of surprising identities between modular forms can be proved via finite dimensionality of the spaces, so that some of them forced to be the same
0
0
0
RT @mathNTb: Levent Alp\"oge, Manjul Bhargava, Wei Ho, Ari Shnidman: Rank stability in quadratic extensions and Hilbert's tenth problem for…
0
4
0
RT @QuantaMagazine: Mathematical proof assistants like Coq and Lean were made possible by a correspondence that established the equivalence…
0
45
0
RT @mathRTb: Fintzen, Schwein: Construction of tame supercuspidal representations in arbitrar...
0
3
0
RT @mathNTb: Terence Tao, Tim Trudgian, Andrew Yang: New exponent pairs, zero density estimates, and zero additive energy estimates: a syst…
0
13
0
My personal experience tells me that codes is extremely helpful and often let me know something I simply missed with pen and papers
"Oh, I'm a *pure* mathematician, I don't write code/do calculations/etc.." "Oh, I'm a *theoretical* physicist, I don't do experiments/analyze data/etc.." Etc. These kinds of statements are typically uttered with an air of intellectual smugness. But what are they really? (1/6)
0
0
2
RT @littmath: I want to explain in down-to-earth terms what this paper is about, since it ultimately boils down to what I think are some re…
0
102
0
Something slightly more general, but still not being a coward:
0
0
5
RT @FieldsInstitute: 📣 Calling all students! The deadline for student applications for the 2025 Fields Undergraduate Summer Research Progra…
0
1
0
which was very interesting (of course, this only tells you the lower bound, but at least the correct lower bound). I wonder what he's doing these days, but I believe he'd be a good mathematician (or programmer)
0
0
1