Terence Tao has well over 50K citations. Maybe one can argue that he’s gaming the system because he alone can decide what problems are deemed to be interesting by the broader community, but he can’t help that.
Yes you can get a 7/7 score for a combinatorics problem in IMO with a good amount of handwaving e.g. instead of formally describing a configuration of monsters in P5 of IMO 2024 you can get away with a few sentences that describes what you're doing. There's actually a decent amount of compression being done by using informal language, so I expect formal proofs of combinatorics problems to be significantly longer than formal proofs of algebra/number theory/geometry problems.
I should say that handwaving is also ok in other topics, but formalizing handwaving in other topics is easier.
Yeah it made me realize that I actually don't want a human-like conversational bot (I have actual humans for that). Just teach me javascript like a robot.
I'm a pure mathematics PhD student (from SE Asia, studying in the US) graduating at the end of this year. I expect to work at the intersection of finance and tech.
I have heard that the standard for O1 visa is a bit lower these days. Do you know if ~5 publications with ~20 citations is enough to qualify for O1? This is low compared to CS people but is pretty respectable in pure math. If not what are my options beside H1B? Thanks!