Starting a career in fashion design

A lot of you have been asking me what comes after my PhD. Continuing my post-OTIS entrepreneurial adventures (see BOATIS in 2023 and (EC)⁵ in 2024), I’m happy to announce the next chapter: I will be moving to Seoul later this year to start a career in fashion design! New York would have been the… Continue reading Starting a career in fashion design

Getting to know problems

I recently had a student writing to me asking for advice on problem-solving. The student gave a few examples of problems they didn’t solve (like I tell people to). One of the things that struck me about the message was their description of their work on USAMO 2021/4, whose statement reads: A finite set $latex… Continue reading Getting to know problems

OTIS Mock AIME 2025 & USEMO 2024 results

Two pieces of news for high school math contest enthusiasts: OTIS Mock AIME 2025 We're running the OTIS Mock AIME again this year! It'll go from December 19, 2024 to January 20, 2025. New this year is that we're offering two tests, I and II, and you can try either or both. However, unlike the… Continue reading OTIS Mock AIME 2025 & USEMO 2024 results

FrontierMath

This is a short blog post on the FrontierMath benchmark, a set of lots of difficult math problems with easily verifiable answers. Just to be clear, everything written here is my own thoughts and doesn’t necessarily reflect the intention of any collaborators. When you’re setting a problem for a competition like the IMO or Putnam,… Continue reading FrontierMath

Hangul spellcheck for Vim

There’s got to be a better way to do this. Someone please enlighten me. Modern Korean is written in 한글 (Hangul), which uses a syllabic alphabet. It includes spaces between words, unlike Chinese or Japanese, which means that it’s possible to have meaningful spellchecking. So of course one day I decided I wanted to configure… Continue reading Hangul spellcheck for Vim

Imperative statements in geometry don’t matter

There's this pet peeve I have where people sometimes ask things like what kind of strategies they should use for, say, collinearity problems in geometry. Like, I know there are valid answers like Menelaus or something. But the reason it bugs me is because "the problem says to prove collinearity" is about as superficial as… Continue reading Imperative statements in geometry don’t matter

A proof of Poncelet Porism with two circles

Brian Lawrence showed me the following conceptual proof of Poncelet porism in the case of two circles, which I thought was neat and wanted to sketch here. (This is only a sketch, since I'm not really defining the integration.) Let $latex {P}&fg=000000$ be a point on the outer circle, and let $latex {Q}&fg=000000$ be the… Continue reading A proof of Poncelet Porism with two circles