Seewoo Lee
@antimath3
Followers
180
Following
1K
Media
93
Statuses
1K
Ph.D. candidate in mathematics @UCBerkeley, Number theorist (automorphic forms)
Joined April 2019
Also check out my CoT on using AI for math, FrontierMath, this paper, a workshop, etc
seewoo5.github.io
In this post, I’m going to share some of my recent experiences using AI (which is an extremely vague word these days) in mathematics. Specifically, I’ll describe my experiences with two events on AI...
New collab 🔥
1
2
6
RT @rishicomplex: My take on this year's IMO results:
rishimehta.xyz
IMO 2025 just finished. A bunch of AI models gave it a shot this year. Here’s my take on the results.
0
20
0
Submit a paper to arXiv & journal today, probably will appear on arXiv next week.
0
0
2
RT @EpochAIResearch: Multiple AI systems won gold medals at the 2025 International Mathematical Olympiad (IMO). Exciting as that sounds, @G….
0
28
0
(Of course I'd keep buying coffee myself with high probability).
0
0
0
Just found an interesting list where I'd occasionally check whenever I need coffee
1
0
1
Served as REU mentor for this summer and final presentation ended yesterday. Our smart young mathematicians proved interesting things and may write some papers, hope we can share these soon!.
0
0
2
RT @demishassabis: Official results are in - Gemini achieved gold-medal level in the International Mathematical Olympiad! 🏆 An advanced ver….
deepmind.google
Our advanced model officially achieved a gold-medal level performance on problems from the International Mathematical Olympiad (IMO), the world’s most prestigious competition for young...
0
761
0
RT @HarmonicMath: This past week, Harmonic had the opportunity to represent our advanced mathematical reasoning model, Aristotle, at the In….
0
57
0
By the way am I the only one who have no idea why it is a strawberry - is it just random or spoiler for new model's name.
1/N I’m excited to share that our latest @OpenAI experimental reasoning LLM has achieved a longstanding grand challenge in AI: gold medal-level performance on the world’s most prestigious math competition—the International Math Olympiad (IMO).
0
0
0