HHD Real Estate AI Brief

Proof verified in the Lean formal proof assistant, alongside a written analytical proof.

Internal model used is described as significantly more capable than GPT-6 Astra.

Noam Brown called the result 'a Deep Blue moment' for AI.

FirstMark Capital led the round, introduced via a fintech founder connection during Henry AI's seed.

Henry Deal was built in roughly 35 days, covering underwriting, comps, market reports, and buyer and lender lists.

Round closed less than 12 months after the seed, two years after the company's founding.

Muse connects to email, calendars, payments, health, and smart-home apps.

Free tier available; Power costs $20/month, Maximum costs $100/month.

Muse Secure VM keeps user data isolated from Meta's ads systems.