Atalanta @AtalantaTech

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.

U.S. Department of Energy @ENERGY

3 weeks ago

x.com/i/article/2079…

14 95 445 57K 147

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…

Read article here: insidecybersecurity.com/share/18201

“The debate happening right now about AI and the risks AI poses is a software understanding problem.” Our CEO Anjana Rajan spoke with @InsideCyber on the Anthropic/USG debate: the government should formally specify what good looks like, and industry should mathematically prove its models meet it. Link to article below in reply.

From @ClaraBroekaert, Research Analyst at @TheSoufanCenter: How does the software understanding gap affect deterrence? Adversaries can embed themselves inside critical systems and escalate access at a time of their choosing, raising a deeper, psychological question: can the U.S. trust its own systems to work in a moment like a Taiwan contingency? Formal methods can restore that trust, and deterrence depends on it. Watch the full event: youtube.com/@AtalantaTech

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: youtube.com/@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: youtube.com/@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: youtube.com/@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: youtube.com/@AtalantaTech

"The goal shouldn't be to trust AI at all. It should be to verify its outputs and behavior independently. This is becoming a trendy topic thanks to Anthropic's latest feud with the US government, in which the Trump administration cut off foreign access to Anthropic's powerful new AI model, Fable 5, due to cybersecurity concerns...As Atalanta CEO Anjana Rajan put it: 'Everyone is treating the Anthropic Fable saga as an AI governance story, but it's really a software understanding issue.'" Thank you @sharongoldman for covering this important topic in her new publication, Ground Level AI.

Sharon Goldman @sharongoldman

2 months ago

As Anthropic's Fable 5 standoff drags on, a wave of new startups is making the case for proof over trust Computer scientist and engineering leader @headinthebox has been talking to me about this for two years — and suddenly, it's everywhere. My latest on the rise of AI

0 2 14 9K 10

Full report: atalanta.tech/articles/softw…

Opening remarks: atalanta.tech/articles/natio…

Ten days ago, the U.S. government placed export controls on one of the most advanced AI models overnight. A debate erupted across government and industry. At the center of it was a question neither side had the tools to fully answer: is this system safe to deploy? This is not primarily an AI governance story. It is a software understanding story. Today, Atalanta’s @anjaninna joined former National Cyber Director Chris Inglis and @SCClemons, Editor at Large of the National Interest, for the launch of "Closing the Gap: Software Understanding and U.S. National Security," an Atalanta-sponsored report written by @TheSoufanCenter. Read the full remarks from today’s event and take a look at the full report (links in reply.)

keyboard_arrow_left Previous keyboard_arrow_right Next

🎤 Join our event on 'Software Understanding & Strategic Risk' 🗣️ @SCClemons, @TheNatlInterest 🗣️ Chris Inglis 🗣️ @anjaninna, @AtalantaTech 🗣️ TSC's @ColinPClarke, @ClaraBroekaert & Chad Serena 📆 June 23 | 📍 Washington DC ▶️ Register your interest forms.office.com/Pages/Response…

most people see formal methods as an engineering problem. i see it as a design problem — the opportunity to make mathematical certainty accessible to the people responsible for the world’s most critical decisions. that’s why i’m joining @anjaninna, jonathan, and @AtalantaTech grateful to @joshpuckett for his mentorship and @nikunj for opening doors. there are few problems more important than understanding the systems we increasingly rely on. if that interests you, my dms are open.

Atalanta @AtalantaTech

4 months ago

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

4 7 52 58K 41

Thanks for including @AtalantaTech!

Black Flag @BlackFlagVC

3 months ago

500+ founders. 1,500+ nominations. 100 companies. The Black Flag 100 is back 🏴‍☠️ No VC votes. No fund picks. Just pirates chasing storms over certainty. The 2026 list 🧵🏴‍☠️

22 29 201 247K 118

.@INL is teaming with Atalanta because testing isn’t enough for mission-critical systems – proof matters. 🤝 ⚛️ Atalanta's Argo platform supports the goals of @ENERGY's #GenesisMission to use #AI to accelerate R&D, including #nuclear energy. 🔗atalanta.tech/articles/inl-a…

atalanta.tech/articles/inl-a…

Today, Atalanta and @INL are announcing their partnership to safely accelerate advanced nuclear reactor deployment. Through this collaboration, Argo is being deployed in service to Prometheus, a project that supports the aims of the Genesis Mission, a national AI initiative led by the White House and the Department of Energy to build the world’s most powerful scientific platform to accelerate discovery science, strengthen national security, and drive energy innovation. “In order to deliver nuclear energy that is faster, safer, and cheaper, mathematical guarantees from formal methods must be part of the equation,” said Greg Shannon, Chief Cybersecurity Scientist for National and Homeland Security at Idaho National Laboratory. “We are proud to establish this public-private partnership with Atalanta on Prometheus." Read our announcement (link in reply.)