bbconn
Re:Gemini with Deep Think officially achieves gold-medal standard at t...
on Monday July 21, 2025 @04:14PM (#44639932)
Of course contest math is not research math but the active IMO kids are pretty much the best in the world at math contests.
Re:How Math Academy pulled me out of the Valley of Despair
on Wednesday March 05, 2025 @06:27PM (#43274222)
Who is building the Math Academy equivalent for other subjects (especially other sciences)?
Re:Gukesh becomes the youngest chess world champion in history
on Thursday December 12, 2024 @05:26PM (#42404061)
Introducing: Balanced Fischer chess. Just randomly sample from the starting positions that are more balanced than regular chess.
Re:Fraud, so much fraud
on Saturday September 28, 2024 @12:16AM (#41677818)
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.
Re:Support for U.S. TikTok ban continues to decline
on Monday September 09, 2024 @07:24AM (#41487443)
Care to share some life changing Tiktok videos?
Re:Ask HN: Why did AlphaProof fail at IMO combinatorial problems?
on Thursday August 08, 2024 @05:42PM (#41196625)
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.
Re:I'm Peter Roberts, immigration attorney who does work for YC and st...
on Friday April 12, 2024 @02:25PM (#40016083)
Hi Peter,
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!