
AI Proved What?
Short animated explainers of mathematics that AI systems claim to have proved, with a running record of how far each proof has been checked.

Principal Product Manager, Archetype AI · San Francisco, CA
I'm a Principal Product Manager at Archetype AI in San Mateo, responsible for the Archetype AI Platform, built on Newton, our foundation model that helps customers understand physical-world data in real time.
Before that I helped scale Observe (acquired by Snowflake), Confluent (IPO) and MuleSoft (IPO, acquired by Salesforce), after starting out at Samsung Electronics.
Outside work I build small sites about things I love: math, basketball, baseball, trains and board games.
UC Berkeley MIDS · Tuck MBA · Sogang University B.E. Computer Science

Short animated explainers of mathematics that AI systems claim to have proved, with a running record of how far each proof has been checked.

Where NBA players and teams shoot from, and how well, season by season since 2013-14.

Your next Caltrain at a glance: live departures, the whole line as an 1830-style hex board, and the full timetable.

Every MLB game's probable starters as a daily set of vintage baseball cards, with a rotation watch for your ballpark.

One board game a week, tied to the news: a family game, a solo pick, how to learn it, and talking points for the table.

A retro arcade game about being on call: steer the commander, resolve every alert, and don't run into your own trail.