Aayush Gupta

Aayush Gupta

Right now I advise Extrapolate, which builds RL training environments for long-horizon AI research. In the past: evals and verifiers for AI-driven hardware design at Normal (we made FrontierCAD, new part and assembly verifiers for CAD generation), computer use agents and environments at Proteus, ultrasound imaging and neuromodulation at aleph, perceptual hashing (adversarially robust image provenance), open education projects, open source zk cryptography, multi-tissue aging research, equivariant molecular neural networks, applied ML, and healthcare. I also like blogging about conviction and movie/travel recs. I also deeply care about open education for MIT and Harvard, and give my money away as grants for cool open source work.

Best Posts

• Blog

  Writing about AI evals, conviction, media, and obsessions.
• FrontierCAD

  New verifiers to test whether frontier models can build CAD parts and assemblies from drawings.
• Thoughts for Curious Rabbit-holers

  A live post of short updates across topics.
• Conviction

  On building and testing conviction in ideas.
• Movie/Travel Recommendations

  Novelty-focused recommendations.

Projects

• FrontierCAD: Verifiers for AI-Generated CAD

  Benchmark and new part and assembly verifiers that score frontier models on building CAD parts and assemblies from engineering drawings. With Normal.
• Proteus: Computer Use Agents

  Fast computer use agents for macOS, Windows, Android, and iOS. Chains 3-10 actions per step instead of the usual 3-8 s screenshot-action loop, with <250 ms verify gates and custom video models that cut inference latency 5x. The mobile agent runs untethered on a stock phone, without ADB or an emulator.
• Inducing Fake Smells with Focused Ultrasound

  Noninvasively stimulated people to smell scents that didn't exist via focused ultrasound stimulating the olfactory bulb.
• Proteus: Perceptual-Hash based Image Provenance for AI

  Framework to detect if an image was generated by AI, institution, or person; robust to transformations with privacy for queries. Built a state-of-the-art perceptual hash for fast copy detection. ICML Workshop 2025.
• MIT SOUL and Coursetexts

  Open-sourcing course materials at MIT and Harvard.
• Auto-Latex Equations (Google Docs)

  Easy LaTeX math rendering in Docs and Slides. 30M+ users, 4.5★+
• lxm.house

  Group house project with friends; moved from Cambridge to SF.
• Ideas Microgrants Program

  Grants for building software ideas that people would actually use (11 given so far).
• MIT AIM Labs

  Co-created MIT's applied ML project club.
• Hack Lodge

  Led an iteration; mentored and attended many times.
• Reflective Cabin Retreat Guide

  Co-ran a retreat; co-wrote a guide to run your own.
• Homebased.dev

  Project-based group house in Thailand (Jan 2023).
• EOE Diagnostics

  Proposal for a new diagnostic test for EOE; high-impact bio project idea.
• Short Story: Stealing Time

  Sci-fi on localized time “freezes” in VR. Read here; grants for attempted implementations.
• Lipoker.io

  First videochat pokersite without signups/downloads. 10K+ WAU; scaled to 700K+ games.
• The Individual

  Helped spawn a cult at dweb camp with Black Swan; ethnography writeup.
• Multi-Tissue Aging Clocks Research

  Novel algorithm via RNA expression across tissues.
• Autonomous Drone

  IROS’17; POMDPs to pilot a custom-built drone. With Daniel, Patrick.
• USACO National Camp

  Top 30 nationwide (of 3000+) for algorithmic programming; prepped for IOI.
• Damn Daniel Button

  50k+ users; surpassed Candy Crush in Free Games; nearly got sued. With Daniel, Patrick.
• MIT Fades

  Hobby barbershop; pay-what-you-want; parody site.
• Chill Vibes Radio

  Cohosted night radio show; past setlists online.
• ZK Email: Anonymous Proofs about Email Data

  Co-steward proof platform to prove identity via received emails, whistleblow securely, and recover wallets with emails.
• PLUME: Anonymous Voting via Deterministic ECDSA Signatures

  New nullifier scheme for pseudonymity (ZK-SNARKs + ECDSA). Implementation, proposed as ERC-7524.
• Signature Singularity Residency

  Residency for teams at the intersection of applied ZK proofs and signatures. Watch our demo day.
• ZK Message Board

  Prototype to publish anonymous group messages on-chain. Construction as Socratic dialogue.
• Crypto Journal Thoughts

  Ideas for a better research journal.
• Vickrey Auctions on-chain

  First cheap, anonymous second-price auctions on chain (EthBogotá; with Jesse’s house).