Cofounder @ https://xitter.cf/t.co/WEqPo0qPJL

California
Joined April 2008
Denis Mars retweeted
So happy we're finally out of stealth. It's been enormous fun so far, and the research is still very early. Engineering Superintelligence is close to a blank canvas: there's no playbook yet, the foundational questions are wide open, and the people who work on them now will help define the field. At the centre of those questions is one of the oldest arguments in Western thought. Parmenides held that reality is unchanging and can be reached by pure logic. Heraclitus held that everything is flux: you can't step into the same river twice. Nietzsche called one ice and the other fire [1]. Jeanne Hersch argued that the whole history of philosophy sorts into their two camps [2], and physics does too [3]. The modern round is Wheeler's "it from bit," the idea that reality is built from information, against Landauer's "information is physical": every bit lives in some substrate, and the substrate gets a vote [3]. @SchmidhuberAI sits on both sides. He has argued for decades that the universe could be the output of a program [4], which is about as it-from-bit as (b)it gets, yet he says there's no AGI without mastery of the real world [5]. These aren't contradictory. One is a claim about what the world is, the other about how you come to know it. That second question is the one Engineering Superintelligence has to answer. How much of a real machine can you learn from simulation, and where does physics overrule you? F1 even rations both sides, capping every team's CFD and wind-tunnel time. Maybe we'll settle the debate one day. For now we're deliberately choosing neither ice nor fire, because the opposition is the point. The second law itself came out of engineering: Sadi Carnot, studying steam engines in his Reflections on the Motive Power of Fire [6], showed that an engine needs two reservoirs, one hot and one cold, and that its work comes from the heat flowing between them. Research works the same way. A lab of only bit people, or only it people, sits at equilibrium. Put both in one lab and you have a gradient. Point them at a hard enough problem and it starts doing work. Bit person or it person, come build ESI with us. apexultra.com/join REFERENCES [1] F. Nietzsche, Die Philosophie im tragischen Zeitalter der Griechen (1873) [2] J. Hersch, as recounted in [3], p. 103; see her L'étonnement philosophique (1981) [3] S. Wolf, Epilogue: Information & Physics, in U. Aeschbacher, A. Hansen, S. Wolf, Invitation to Quantum Informatics, vdf ETH (2020), pp. 97-115. doi:10.3218/3989-4 [4] J. Schmidhuber, Algorithmic Theories of Everything (2000). arXiv:quant-ph/0011122 [5] J. Schmidhuber, xitter.cf/SchmidhuberAI/status/2…, itself citing Sec. 20 of arXiv:2212.11279 [6] S. Carnot, Réflexions sur la puissance motrice du feu et sur les machines propres à développer cette puissance, Bachelier, Paris (1824)
Today we come out of stealth. We are Apex Ultra, a frontier AI lab building Engineering Superintelligence (ESI): AI that can design, simulate, test, and build the world's most complex machines. ESI cannot be trained on the open internet. It has to learn where engineering actually happens — against real problems, real physics, and real consequences. Today we can say where one of those places is. @AlpineF1Team has named Apex Ultra its official AI for Engineering Partner. We will train and evaluate ESI against some of the hardest engineering problems in the world, at the pace of Formula One — where every race weekend is a definitive result. The race for ESI is on. 🏁 apexultra.com/alpinef1
2
4
34
2,647
Today @apex_ultra_ai comes out of stealth onto the global stage of Formula One xitter.cf/apex_ultra_ai/status/2…
Today we come out of stealth. We are Apex Ultra, a frontier AI lab building Engineering Superintelligence (ESI): AI that can design, simulate, test, and build the world's most complex machines. ESI cannot be trained on the open internet. It has to learn where engineering actually happens — against real problems, real physics, and real consequences. Today we can say where one of those places is. @AlpineF1Team has named Apex Ultra its official AI for Engineering Partner. We will train and evaluate ESI against some of the hardest engineering problems in the world, at the pace of Formula One — where every race weekend is a definitive result. The race for ESI is on. 🏁 apexultra.com/alpinef1
8
197
I believe our humanity will far surpass our technology
4
366
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/a2c27… xitter.cf/vladtenev/status/19949…
We are on the cusp of a profound change in the field of mathematics. Vibe proving is here. Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in the paper “Complete sequences of sets of integer powers” in the journal Acta Arithmetica. Boris Alexeev ran this problem using a beta version of Aristotle, recently updated to have stronger reasoning ability and a natural language interface. Mathematical superintelligence is getting closer by the minute, and I’m confident it will change and dramatically accelerate progress in mathematics and all dependent fields.
7
31
12
106
42,928
Denis Mars retweeted
getting this for my son
37
137
21
1,876
131,884
Denis Mars retweeted
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!
2
7
1
94
19,172
Denis Mars retweeted
This is the golden age of building
106
321
52
3,250
343,656
Denis Mars retweeted
Live each day as if it’s your first.
5
1
10
2,040
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: 👇
93
134
8
1,621
436,769
Denis Mars retweeted
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.
144
154
34
1,023
261,539
Denis Mars retweeted
Skill and effort have diminishing returns. Clarity scales infinitely.
8
12
1
102
4,875
Selling gold to buy Bitcoin is budget-neutral.
127
195
24
3,692
250,622
Hold the line.
58
204
13
2,255
194,447
Denis Mars retweeted
The world is built by those who build. Not by thinkers. Not by planners. Not by critics on the sidelines. By people who pick up the tools in front of them and start. Michelangelo didn’t debate the best way to sculpt David. He carved. The Wright brothers didn’t seek approval before attempting flight. They assembled wood and fabric and took off. James Watt didn’t theorize about steam power. He built an engine that rewrote the rules of industry. History doesn’t remember the committee that discussed change. It remembers the builders who made it happen. Builders don’t wait. They don’t stall for perfect conditions or guaranteed outcomes. They move forward, knowing that motion beats deliberation every time. Ideas are cheap. Execution is hard. But building... building is everything. Most people hesitate. They want certainty before they start. Builders know certainty is a mirage. The only way to find out what works is to make something real. The only way to create momentum is to take the first step. They work with what they have. The printing press wasn’t born out of endless research. Gutenberg repurposed a wine press and changed the course of knowledge. The first Apple computer wasn’t the result of a corporate strategy session. Jobs and Wozniak built it in a garage with borrowed parts. The path isn’t clear at the start. The plan will change. Setbacks will come. Builders don’t care. They adapt. They adjust. They push forward when others would stop. Most people spend their lives waiting. Builders spend their lives making. The future belongs to those who build.
31
135
14
764
49,323
Love transcends species
162
The truth is less believable than fiction. Avoid rationalizing if you seek truth.
142
The universe is more profound when we close our eyes to see it.
89
Denis Mars retweeted
To build product, “make something people want.” To create art, make something *you* want. (The best do both).
342
1,859
170
16,050
622,547
Denis Mars retweeted
The deadline for applying to YC's Spring 2025 batch is two days from now. If this batch is like most batches, some of the companies that end up doing the best will only decide to apply between now and the deadline...
84
86
14
1,240
231,775