// PERSON
Evan Chen
ROLE US IMO TEAM COACHMENTIONS 1LAST SEEN APRIL 20, 2026
// BIO
Coach of the US International Mathematical Olympiad team and gifted competition mathematician.
// RECENT MENTIONS
// SIGNALS
1 SIGNAL
01
mention·张小珺Jùn|商业访谈录·APRIL 20, 2026
“Evan looked at one problem, drew a picture, and we all said 'oh, you've solved it.' The AI found no such elegant solution — it produced thousands of lines of Lean through brute-force case analysis.”
Source→AI-extracted from podcast / newsletter / paper summaries. May contain errors.