Denis Mars

We just tested Aleph prover on this version of Erdos #124 problem and were able to prove it in less that 2.5 hours and under $200 in cost: gist.github.com/winger/a2c27e4… x.com/vladtenev/stat…

@AlchemyAmerican Jokes aside, excited to hear what your take is.. seems legit and worthy of your enquiry.

@AlchemyAmerican You really need to eat some more, looking a bit pale there.

Just got back from a wild trip

getting this for my son

@yuris @generalcatalyst Congrats Yuri! That’s great news. A perfect match.. 🙌

Personal/Work Update! I'm joining @generalcatalyst as a Managing Director to lead seed in the US. Over the past five years I've been incredibly fortunate to partner with some incredible founders while building out Wayfinder. At the same time, I believe the opportunity presented by partnering with GC can have an even larger impact on the startup ecosystem. Of all the larger, full-stack investors I’ve met over the years, GC seems to truly appreciate how important it is to do seed in a focused manner, and NOT as an option call on a future Series A. We'll be putting all of the resources of the GC platform (and some unique things for seed founders — stay tuned!) on day one. The world is changing fast, and it has never been a better time to start a startup. If you're working on something new, no matter how early, I'd love to chat!

@morganb Correct

Something to chew on this weekend… Steve Jobs once observed that the disease of big companies is their ability to confuse process for content. He warned that organizations eventually favor process because more people excel at process than content creation, leading companies to become fixated on the means rather than the ends. Process is the "how" — the frameworks, meetings, documentation, workflows, and operational mechanics of getting work done. Content is the "what" — the actual products, features, and experiences that deliver value to customers. It's the creative output that matters. With the rise of AI, this insight has become more profound and urgent than ever before. AI excels at exactly what our organizations have spent decades optimizing: executing processes, following rules, and automating repetitive tasks. As these capabilities are increasingly handled by AI, what remains uniquely valuable is human creativity, insight, and vision—the very "content" that Jobs spoke about. Yet here's the paradox: Just as human creativity becomes our most critical differentiator, our organizations continue pushing us toward process orientation. Product teams spend their days in roadmap reviews, status updates, and framework applications rather than in creative exploration and customer discovery. We're strengthening the very muscle that AI is rapidly making obsolete while neglecting the creative capacity that makes us irreplaceable. Consider the iPhone. It didn't emerge from a perfect roadmap review or a flawless OKR execution. It came from Jobs' obsession with the content—the experience, the interface, the feeling of holding the internet in your hand. He famously bypassed normal processes, creating a secretive, content-focused team that prioritized the creative vision over established procedures. The most successful AI products aren't emerging from perfect PRD templates or flawlessly executed OKR processes. They're coming from teams that give themselves permission to explore, create, and iterate rapidly—teams that prioritize content over comfort. For AI product leaders, this means: 1. Automating process work. Use AI to handle the processes that consume your creative energy. Let it draft your status reports, summarize meetings, and track metrics so you can focus on the creative work only humans can do. 2. Creating space for genuine creativity. Carve out significant time for exploration, ideation, and customer interaction. Your most valuable contribution isn't managing process—it's discovering the unexpected insights that lead to breakthrough products. 3. Rewarding content over process excellence. In a world where AI can execute processes flawlessly, we need to shift our reward systems toward valuing creative output, novel insights, and customer impact. As AI increasingly handles the how, humans must focus on the what and why. The companies that thrive will be those that use AI to handle process work while unleashing human creativity to focus on content—the true source of value.

Y'all keep investing in AI chat bots we'll use it to find billions of dollars of critical metals, precious metals, and rare earths that traditional techniques overlooked. The most valuable applications of AI will be in the physical world. Keep an eye on @earthaiexplore!

This is the golden age of building

@garrytan Love these peeps! Happy 20 YC!

Y Combinator has helped create more than $800 billion in market value over 20 years. Thank you to Paul, Jessica, Trevor and Robert and Happy Birthday to the fixed point combinator that changed the world.

Live each day as if it’s your first.

AI has changed my life. I'm now 100x more productive than I ever was. How do I use it? Which tools do I use? Here are my actual use cases for AI: 👇

@altcap @levie 🎯🎯🎯

@levie 🎯🎯

At an investor conference this week one of the biggest topics that came up in every conversation was about AI Agents in the enterprise. The speed at which Wall Street is now paying attention to this topic is pretty amazing. It’s increasingly understood that this is probably going to be the single largest change in the enterprise software model that we’ve seen, even bigger than the cloud was. AI Agents have the ability to dramatically change the business model of software. Today most software is constrained by the number, and actions of the end-users of the software. 500 software developers? 500 units of value. 50 lawyers? 50 units of value. And so on. AI Agents bust through this barrier, decoupling the value the software can provide by the volume of work the end user does. AI Agents provide unlimited capabilities to the end-customer, in way that completely changes the TAM of software. Now you’re buying work from the software, not just buying it to do work yourself. 500 software developers? Maybe 5,000 units of value. And so on. It’s clear that in many software categories, existing SaaS players have a natural advantage with AI Agents for their specific domain. They often have the workflow, data, and customer context to deliver these AI Agents. At the same time, there are equally going to be a new category of AI Agent startups in spaces where the existing software is too slow moving or not a natural fit for agents. There will be plenty of vertical or cross-platform agent opportunities where no existing incumbent is a natural fit. And there’s plenty of new agent infrastructure and dev tools necessary to make this all a reality. This will create significant new startup opportunities. Incredible times AI software going forward, and we’re just getting started.

@aniehenke @mattturck Dang it, you’re right! I take it back now.

@denismars @mattturck Sorry, but I’ve been very clear on this: I don’t think LLMs can replace our ability to host a cocktail event. And they definitely don’t do swag.

As a VC, I don't think any product has become part of my daily workflow faster than Deep Research, which either is great or terrible news for venture capital lol

@bryan_johnson Okay, I'm in.

Dear humanity, I am building a religion. Wait a second, I know what you’re going to say. Hold that knee-jerk reaction and let me explain. First, here’s what’s going to happen: + Don’t Die becomes history's fastest-growing ideology. + It saves the human race. + And ushers in an existence more spectacular than we can imagine. It is inevitable. The only question is: will you be an early or late adopter?

@AlchemyAmerican If you could change one thing about humanity, what would it be?

Interviewing Steven Greer today. What should I ask him?

@RyanDBledsoe It’s interesting how much we seek from outside when we have everything and more from within.

True “disclosure” happens within. All you have to do is be humble, go outside, and look up. Ask for a sighting. It’s really that simple. Doesn’t take a psionic asset or whatever the new talking point is to see.

Skill and effort have diminishing returns. Clarity scales infinitely.

@davidsacks47 Amazing work!! Would love it even more if you can elaborate the on the part about “authorized to develop budget-neutral strategies for acquiring additional bitcoin” 🤩

Just a few minutes ago, President Trump signed an Executive Order to establish a Strategic Bitcoin Reserve. The Reserve will be capitalized with Bitcoin owned by the federal government that was forfeited as part of criminal or civil asset forfeiture proceedings. This means it will not cost taxpayers a dime. It is estimated that the U.S. government owns about 200,000 bitcoin; however, there has never been a complete audit. The E.O. directs a full accounting of the federal government’s digital asset holdings. The U.S. will not sell any bitcoin deposited into the Reserve. It will be kept as a store of value. The Reserve is like a digital Fort Knox for the cryptocurrency often called “digital gold.” Premature sales of bitcoin have already cost U.S. taxpayers over $17 billion in lost value. Now the federal government will have a strategy to maximize the value of its holdings. The Secretaries of Treasury and Commerce are authorized to develop budget-neutral strategies for acquiring additional bitcoin, provided that those strategies have no incremental costs on American taxpayers. IN ADDITION, the Executive Order establishes a U.S. Digital Asset Stockpile, consisting of digital assets other than bitcoin forfeited in criminal or civil proceedings. The government will not acquire additional assets for the Stockpile beyond those obtained through forfeiture proceedings. The purpose of the Stockpile is responsible stewardship of the government’s digital assets under the Treasury Department. PROMISES MADE, PROMISES KEPT President Trump promised to create a Strategic Bitcoin Reserve and Digital Asset Stockpile. Those promises have been kept. This Executive Order underscores President Trump’s commitment to making the U.S. the “crypto capital of the world.” I want to thank the President for his leadership and vision in supporting this cutting-edge technology and for his rapid execution in supporting the digital asset industry. His administration is truly moving at “tech speed.” I also want to thank the President’s Working Group on Digital Asset Markets — especially Treasury Secretary Scott Bessent and Commerce Secretary Howard Lutnick — for their help and support in getting this done. Finally Bo Hines played a critical role as Executive Director of our Working Group.