
Ilya Fushman
1.4K posts

Ilya Fushman
@ilyaf
Partner @kleinerperkins, Formerly: Partner @indexventures, Product @Dropbox, Startups, Physics.




🦾Meet Aristotle Agent, the world’s first autonomous mathematician — live and currently free of charge. We designed Aristotle Agent to solve and formalize the world’s most challenging mathematical research problems. It is now: ☑️#1 in Formal Math: We’re the #1 formal math model according to ProofBench, by @ValsAI, ahead of the closest competitor by 15%. Aristotle Agent can autonomously prove/formalize for up to 24 hrs without human intervention. ☑️Fully Agentic: Give it an English problem and it will prove/formalize from scratch, or it can work and edit files directly inside your Lean project / repository. ☑️Github-ready: Aristotle agent produces repo-quality code; project leads are increasingly merging Aristotle-drafted PRs with no modifications. Now live across both web, CLI, and API. 🔥

The best way to know whether you’re secure is to test your systems the way an attacker would. That kind of testing has always been expensive, infrequent, and limited to a small pool of experts. AI is raising the stakes even further. @ArmadinSecurity is building a new kind of offensive security platform to help organizations find and fix real weaknesses faster. Excited to partner with Kevin Mandia, @evan_pena2003, and @travis_lanham_. On our @KPGrit podcast, Kevin said making customers happy is the only scorecard that matters. That mindset comes through clearly in what Armadin is building.

The best way to know whether you’re secure is to test your systems the way an attacker would. That kind of testing has always been expensive, infrequent, and limited to a small pool of experts. AI is raising the stakes even further. @ArmadinSecurity is building a new kind of offensive security platform to help organizations find and fix real weaknesses faster. Excited to partner with Kevin Mandia, @evan_pena2003, and @travis_lanham_. On our @KPGrit podcast, Kevin said making customers happy is the only scorecard that matters. That mindset comes through clearly in what Armadin is building.

AI answer engines are the new search, and getting cited by ChatGPT, Gemini AI overviews, and Copilot is the future of discovery for brands. @tryprofound built the marketing platform for the AI era to win this shift, with tools powered by Parallel for brands to create high-quality content that gets cited by AI.

We’re thrilled to highlight our new collaboration with @harvey, the leading AI platform for legal and professional services. Harvey uses Parallel’s accurate, relevant, and fresh web search across their platform to retrieve valuable public context for their legal AI workflows. Together, we’re helping Harvey expand its best-in-class AI legal platform to over 60+ countries by collaborating on a specialized index of hard-to-reach international legal domains, built on our custom web search infrastructure. To learn more about Harvey and Parallel, read our blog: parallel.ai/blog/case-stud…



𝐄𝐩𝐢𝐠𝐞𝐧𝐞𝐭𝐢𝐜𝐬: BiotechTV visited @newlimit in South San Francisco and heard from Co-Founder & President @jacobkimmel how they are trying to tackle diseases of aging through epigenetic reprogramming.

Today, @tryprofound is excited to announce our $96M Series C at a $1B valuation, led by @lightspeedvp with participation from @sequoia, @kleinerperkins, @mattevantic, @saga_ventures and @southpkcommons. When we started Profound 18 months ago, we had two fundamental beliefs about where marketing is heading: 1. Every company will care deeply about how AI talks about their brand. 2. Every marketer will use AI Agents to do their best work, faster. Those beliefs are becoming reality faster than we imagined. Now, we serve more than 10% of the Fortune 500 and are the number 1 leader on the G2 grid for AEO. To double down on that momentum, we’re taking two big swings: 𝗣𝗿𝗼𝗳𝗼𝘂𝗻𝗱 𝗔𝗴𝗲𝗻𝘁𝘀: AI workers that take marketing teams from concept to execution. 𝗣𝗿𝗼𝗳𝗼𝘂𝗻𝗱 𝗨𝗻𝗶𝘃𝗲𝗿𝘀𝗶𝘁𝘆: certifications and cohort-based learning for marketers who want stay at the forefront of AI marketing. Reply with 𝗔𝗚𝗘𝗡𝗧 for free access to one of our most popular agents. No account required and no strings attached.





healthy years of life are the most valuable product possible. in just the last few years, multiple approaches are making progress toward this goal! it was fun to chat about it on Builders with legends in the making @LM_Braswell, @josh_coyne, & frighteningly smart @laurademing

We're excited to share that we’ve acquired @upcraftai to bring AI agents to the heart of how we scale human expertise for frontier AI. Upcraft’s AI-powered automation strengthens Alignerr by helping us recruit, engage, and empower a global network of domain experts who train and evaluate the world’s most advanced models. As leading AI teams invest billions into post-training and reinforcement learning, expert-generated data has become the true bottleneck for injecting models with the taste and judgement that only deep human expertise can provide. A big welcome to @gdcaplan and the Upcraft team and we look forward to building together 🚀

We’re not just building fast, we’re defining the category. Harvey engineers operate with intensity, trust, and focus as we reshape how professional work gets done. We’re hiring for EPD teams in SF, NYC, Toronto, and Bengaluru. Build what’s next: #company-careers?utm_medium=social&utm_source=twitter&utm_campaign=2026-02--CT-CT--company-careers" target="_blank" rel="nofollow noopener">harvey.ai/company#compan…


When you're building with a clear mission, and founders who want to make history, anything is possible. Thanks to @agarfinks and @FortuneMagazine for telling this story, and to our founders for sharing their perspective @parkerconrad @zoink @winstonweinberg @ariannahuff fortune.com/2026/01/31/ins…


When you're building with a clear mission, and founders who want to make history, anything is possible. Thanks to @agarfinks and @FortuneMagazine for telling this story, and to our founders for sharing their perspective @parkerconrad @zoink @winstonweinberg @ariannahuff fortune.com/2026/01/31/ins…

