
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.

When to leave for school drop-off and pick-up in San Francisco, planned for a bad-traffic day, with the games, concerts and street closures on your route.

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.

Live heart rate variability from a Bluetooth sensor, printed like an ECG strip: glitches removed, stress read against your own baseline, and a second opinion from Newton by Archetype AI.

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

Big tech stocks on a trading-terminal board: live quotes, sparklines and 1D–1Y charts, with a command line and function keys.

High school AAU basketball tryouts around the Bay Area in one place, checked by hand every week during tryout season.