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.)

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.

When @AtalantaTech came out of stealth, Will Wilson of @AntithesisHQ generously reached out to welcome us to the neighborhood. In that first conversation, we learned that "Back to the Building Blocks," the report Jonathan Ring and I wrote at the White House, had helped his team explain their work to customers and stakeholders. We wrote that report as a love letter to the technical community before it became Atalanta's founding thesis, so seeing its ideas travel through builders we admire meant a lot to us. It was a reminder that the hard problem of correctness gets solved by a community working in the same direction, and we're grateful Antithesis invited us to tell our story on the Bug Bash podcast. Listen here: piped.video/ib-J1aRBpfM

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 press@atalanta.tech. 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

🔥 The latest from Felicis: - @RadiantNuclear landed a U.S. Army agreement worth up to $750M to deploy 15 portable nuclear microreactors. - @SkildAI taught a robot a 10-minute task from a single video with no fine-tuning. - Heaviside Industries Industries raised a $60M Series B and partnered with Nammo. - @smackaistack raised a $61M Series B to bring tactical AI to the edge. - Magentic is putting AI agents inside the world’s largest manufacturers and announced an $18M Series A. - @AtalantaTech and Artemis Security are pushing cyber defense to machine speed. - @paraformtalent has already helped Palantir hire 50 engineers. - @RicursiveAI co-founders @annadgoldie and @Azaliamirh and @Mercor co-founder @BrendanFoody were named to the TIME 100 AI list. And we’re thrilled to welcome @_tonyshi to @Felicis as our newest investment partner, backing ambitious student and researcher-founders from day one. Stay up to date on all things Felicis by subscribing to our newsletter: felicisnewsletter.substack.c…

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…

The Department of @ENERGY has selected Prometheus for the Genesis Mission, and @AtalantaTech is proud to serve as an industry partner. At the Genesis Mission Summit, @ScienceUnderSec Darío Gil identified Software Understanding for National Security as one of the nation's strategic science and technology challenges. During his discussion of Prometheus, he highlighted formal proof of correct behavior with guaranteed human override as a core capability for delivering provable cyber assurance. Atalanta is honored to deliver the formal verification and software understanding capability for the Prometheus team. We're excited to work alongside @INL and our fellow Prometheus partners to accelerate the future of AI-enabled nuclear energy.

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…

When governments can’t fully understand what powerful technologies can do, #regulation can become a choice between accelerating innovation and restricting it. 📹 @anjaninna argues that #software understanding offers a third path, one where capability and safety advance together.

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…

From @ColinPClarke, Executive Director of The Soufan Center :  U.S. conventional military strength is so dominant that adversaries have been pushed toward asymmetric tactics, using software vulnerabilities to compete in ways that are not possible on a traditional battlefield. The time is now for a Congressional hearing that puts the software understanding gap, and the experts who know it best, directly in front of lawmakers.  Watch the full event: piped.video/@AtalantaTech

From Chris Inglis, Former National Cyber Director: As critical systems have come to rely on the same global digital infrastructure, the attack surface available to adversaries has expanded dramatically. Nuclear command and control is the exception: built on old, simple technology that was deliberately kept off of that infrastructure, and as a result, remains out of reach. Watch the full event: piped.video/@AtalantaTech

From Chris Inglis, Former National Cyber Director: It’s the simple use of the word “and.” We can have innovation, and market efficiency, and safety in our software-defined systems. Demanding all three is no less audacious than the promise at the heart of the American Constitution itself. Watch the full event: piped.video/@AtalantaTech

From Atalanta CEO & Co-Founder @anjaninna: CrowdStrike, one of the most sophisticated cybersecurity companies in the world, is a powerful testament to the blast radius of software failures at scale. A single flawed update disrupted banks, hospitals, and airlines simultaneously. Today’s cybersecurity playbook is woefully insufficient in addressing and preventing disruptions of this magnitude. A different approach through software understanding is long overdue. Watch the full event: piped.video/@AtalantaTech