Today, Atalanta is coming out of stealth. We are a mathematical AI company with a vision to bring provably correct decision-making to the world’s most important missions. The systems underpinning critical infrastructure, national security, and autonomous operations are growing more complex and interdependent than our ability to reason about them. The U.S. government calls this challenge “the software understanding gap.” We built Atalanta to deliver on this national priority by combining AI and formal methods with the speed, agility, and precision that critical missions demand. Over the past 15 months, we’ve deployed our flagship product, Argo, with leading institutions across energy, space, and defense. We’ve built a team of exceptional people deeply committed to solving this problem, and we’re now growing quickly and expanding across engineering, mathematics, strategy, and design. Read our company thesis in the essay “The Age of Software Understanding,” written by Atalanta’s founders, Anjana Rajan and Jonathan Ring (link below.)

Why do race cars have bigger brakes? So they can go faster. At #AtalantaAssembly, Nick Leiserson used that analogy to challenge a longstanding assumption in defense: the faster a system is developed and fielded, the more uncertainty there can be about its performance. Joined by Dr. Forrest Shull from the @DeptofWar, Katie Gray of In-Q-Tel, and Dr. Dustin Summy, the conversation explored how Software Understanding can change that equation, providing greater assurance that advanced systems will perform as intended without sacrificing the speed the mission demands.

Modern life increasingly depends on space: communications, navigation, national security, and critical infrastructure all rely on systems operating thousands of miles above Earth. As those systems proliferate, understanding how they will perform, especially under complex conditions, remains paramount. At #AtalantaAssembly, Jamie Smith, Nick Saunders of @viasat, and Christopher Harrison of @SandiaLabs discussed how Software Understanding can turn resilience from something we assume about these systems into something we can prove.

The @ENERGY’s #GenesisMission is an ambitious bet: AI can accelerate scientific discovery and the deployment of advanced nuclear systems. Realizing that ambition will require new approaches to ensuring increasingly autonomous systems behave as intended. At #AtalantaAssembly, Gopal Sarma, Greg Shannon of @INL, Nate Stone of Triastron, and Doug Ghormley of @SandiaLabs explored how Software Understanding and formal verification can help preserve human control and build public trust.

How can AI be used for good? Atalanta CEO and Co-Founder Anjana Rajan explored that question with @NPR cybersecurity correspondent @JennaMC_Laugh, discussing Atalanta’s approach to understanding increasingly software- and AI-defined systems and maintaining human control over them. That approach is called Software Understanding, and Atalanta is already applying it to real-world systems across critical infrastructure and other consequential domains. Listen to the full conversation: npr.org/2026/09/27/nx-s1-598…

At the inaugural #AtalantaAssembly, Rear Admiral John Kirby posed a fundamental question: How can we gain greater assurance in the systems we increasingly depend on? On the margins of #UNGA81, Atalanta brought together leaders across national security, AI, energy, space, defense, and research at Cornell Tech to explore that question and what it will take to build critical systems we can understand and trust. As these systems become more powerful, autonomous and consequential, the need for greater assurance is only growing. We are entering the age of Software Understanding. Thank you to John Kirby and to all of those who joined us at #AtalantaAssembly for an important conversation about the future of technology and national security.

Atalanta brought together industry and national security leaders at #AtalantaAssembly on the margins of #UNGA81 to tackle a critical question: How do we understand and secure increasingly powerful AI systems? That challenge drives our work across high-stakes domains, from defense to nuclear energy and more. Thank you to our incredible panelists for the thoughtful discussion. More from Atalanta Assembly coming in the days ahead.

Today is #AtalantaAssembly and the second day of the U.N. General Assembly High-Level Debate. Our exhibit on Software Understanding examines one of the highest-stakes situations in which understanding whether complex systems will perform as humans intend matters most: the threat of nuclear war. Argo unlocks provably correct decision-making across the range of stakeholders designing and building a state-of-the-art missile defense system, where failure is not an option. Explore the virtual exhibit: atalantaassembly.com/exhibit…

As world leaders convene in New York City for the U.N. General Assembly, tomorrow we will be welcoming an incredible lineup of speakers to the stage at #AtalantaAssembly. 🇺🇳 Across AI, energy, space, and defense, one question will connect every conversation: How do we field increasingly complex and autonomous systems while ensuring they work as intended? For media interested in attending, please contact [email protected]. atalantaassembly.com

Next week, leaders across industry, government, research, venture capital, policy, and media will come together for the first Atalanta Assembly. Held on the margins of the U.N. General Assembly, Atalanta Assembly will explore how generation-defining technologies are being built and deployed across AI, space, energy, and defense — and how Software Understanding offers greater assurance in the systems the world increasingly depends on. Follow along as we share more from #atalantaassembly. atalantaassembly.com

Atalanta and @viasat have demonstrated improved resilience of satellite networks against modern warfare threats. As satellite communications face record levels of attack, Argo proves these systems can be made more resilient, saving lives. Read our announcement: atalanta.tech/articles/viasa…

Software Understanding 101: Here are six ways adversaries are already exploiting the software understanding gap, its impact on our national security, and what closing the gap makes possible. Learn more: atalanta.tech/articles/softw…

The rate of software production is far outpacing our ability to understand it. That gap is the arena in which our adversaries operate, and closing it is an urgent national security priority. Read more in an essay by our founders, "The Age of Software Understanding": atalanta.tech/articles/the-a…