
Monica L
4.1K posts

Monica L
@mon__lim
investor @M12vc - microsoft's venture fund // supporting founders who have found their purpose 🌱



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:


investors be like: I want to invest but only if everyone else does

With the IBM’s $11B acquisition of Confluent officially closing, I want to say congrats to the entire team for navigating the tricky course from open source Kafka support to open core to single-tenant cloud to multi-tenant cloud and all the ensuing GTM changes along the way and 5 (chaotic) years as a public co. The company relentlessly built >$1B business (actual revenue not last wk x 52 :-)) under the incredible leadership of @jaykreps and fantastic execution from the team. On a personal note I've been lucky enough to serve on the board from Day 1 to Day End through our investment @benchmark. It was my first investment and I learned so much along the way. Thank you to Jay, @nehanarkhede and @junrao for choosing to work with us in 2014 and the adventure along the way!



















