What I'm up to now
This is a now page. It’s my public answer to “what have you been up to lately”? Last updated 15 June 2026.
Coordinates
I’m all over the place for summer 2026. I don’t know if anyone believes me when I say I don’t like traveling.
Most notably though I will be attending IMO 2026 as a coordinator. (At least if my visa application ever gets read. It’s taking a while.)
Jobs
-
I’m still running OTIS, which is accepting applications for its 12th year.
-
I work as Head Writer for OMEGA. OMEGA is a new organization hoping to develop their own math contest series for students in the United States.
-
I am a math consultant for Axiom Math[1] where I now work with my former mentor Ken Ono. This has resulted in several new papers.
Side quests
-
My blog got a complete redesign! This took several months of slowly migrating all the posts off WordPress. It has a new mailing list, too.
-
There’s a new microblog as well too. (Same mailing list.)
-
I’ve been trying to get faster at reading braille, Morse, and semaphore, though I’m still not that fast.
-
Starting in January 2025, I’ve been occasionally studying some Korean. I don’t really have any compelling reason why; just a hobby. I haven’t actually learned anything and at most I can say some really basic sentences like 저는 멍청합니다 and 저는 고양이가 되고 싶습니다.
-
A few other secret projects I haven’t told anyone about yet 😉 (mostly because they’re going nowhere fast).
Recent checkpoints
-
OMEGA held its first event, the AMM 2026. The event seemed to be received quite well. We even had our own puzzle hunt.
-
OTIS completed its eleventh year with around 800 students in the most recent class. This included the second year of the OPAL hunt, and the third year of the OTIS Mock AIME.
-
I had a busy summer in 2025, where among other things, I taught at MOP as assistant director, visited the Duluth REU, and attended IMO 2025 as a coordinator (I was on problem 3 with Gheehyun Nahm).
-
In March 2025, the 2025 Teammate Hunt aired. See the wrapup and author notes on my puzzle.
-
In January 2025 I finished a multivariable calculus textbook that I wrote primarily during the fall of 2024, when I was teaching a recitation section. That book is now on MIT OpenCourseWare.
-
In December 2024 I defended my thesis, and in February 2025 I finally received my diploma. (It went to the spam folder in my email, which is hilarious.)
-
To state my allegiances on the AI-in-math issue, I’m most interested in formalization, rather than just feeding contest problems to LLM’s for medal-bragging on Twitter (see Epoch and Xena on IMO 2025). I think making Lean into something that’s practically usable as a way to both verify and digitize proofs actually sounds pretty cool. arXiv:2311.00007 has some food for thought. ↩︎