Math Heramia
19 posts

Math Heramia
@MathHeramia
yes my name is literally the subject || Venture @WischoffVC, PE/Venture @LeadEdgeCapital, strategy @BCG & finance @BerkeleyHaas

the venture capital bloodbath is coming and most vcs have zero idea agents will replace 90% of what associates and principals actually do: • deal sourcing through network analysis • due diligence via automated data mining • portfolio monitoring with real-time metrics • pattern matching across 10,000x more deals what exactly are you getting paid for when an agent can analyze every startup in your sector in 3 minutes? the entire industry is built on information asymmetry that ai just eliminated most funds will become algorithmic within 24 months the only vcs who survive are the ones who can actually build companies, not just write checks and send intros


Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It is stronger, faster, and more cost-efficient than off-the-shelf alternatives. On FormalQualBench, running with a 4-hour timeout, it beats @HarmonicMath's Aristotle agent with no time limit. Users of OpenGauss can interact with it as much or as little as they want, can easily manage many subagents working in parallel, and can extend / modify / introspect OpenGauss because it is permissively open-source. OpenGauss was developed in close collaboration with maintainers of leading open-source AI tooling for Lean. Read the report and try it out:


Thrilled to be leading Nyne AIs $5.3M seed round with @southpkcommons. If AI agents are the future, they need to understand who we are across our entire digital footprint. More from me and the team on this massive opportunity:




If you are an analyst or associate at a venture firm and want to do deals but can't bc of bloated teams, love early stage investing and want to be in it for your career, please reach out to me! We are actively hiring and looking for amazing folks. We do one deal per month and are total dogs. Will throw you into the deep-end.














