
DARPA
@DARPA
Followers
268K
Following
6K
Media
3K
Statuses
8K
Official account of the Defense Advanced Research Projects Agency. Follows/retweets/links do not = endorsement. Breakthrough technologies for national security.
Joined July 2009
Math + AI = Tomorrow’s breakthroughs! We’re soliciting proposals for Exponentiating Mathematics (expMath), a new program managed by @patrickshafto that aims to create an AI coauthor that exponentially increases the rate of progress in mathematics. More:
79
65
178
🔒 How can we secure critical infrastructure from cyber threats—and what role does #AI play in the solution? .Join the conversation at @RSAConference on April 29. 👉 Details: .
47
37
91
Smart bandages on the battlefield? 🤯.Dr. Leonard Tender discusses the future of wound care on the latest Voices from DARPA podcast. #biotech #innovation #biomanufacturing
28
64
149
We’re counting down the days until #RSAConference! .The DARPA AI Cyber Challenge Experience will be there from April 28 - May 1 in the Yerba Buena Center for the Arts.
12
49
124
Using the Earth’s #atmosphere / #ionosphere as a global #sensor shows promise. We’re hosting a hybrid in-person/virtual workshop April 15-17 at Embry-Riddle in Daytona Beach to share modeling tools & other results from the Atmosphere as a Sensor program.
43
113
298
Math is the source of enormous technological innovation and surprise, but it can take decades to make breakthroughs. @patrickshafto is leading our new Exponentiating Mathematics program that will explore how AI can radically accelerate the rate of progress in mathematics.
29
77
267
DARPA is proud of its R&D efforts driving the design of two X-planes as risk reduction for the NGAD platform and now the F-47.
This platform will be the most advanced, lethal & adaptable fighter ever developed – designed to outpace, outmaneuver & outmatch any adversary that dares to challenge our brave Airmen. Read more of @officialcsaf Gen. Allvin's thoughts⤵️.
30
62
408
Researchers with our Moment (ITM) program are tackling the fundamental question of alignment in the context of human decision-makers and autonomous decision-making tools. More on this topic from a recent Voices from DARPA episode:
A mass shooting in Las Vegas a few years ago paved the way for a new @DARPA program that is asking a very thorny question. Could doctors and medics make better life-and-death decisions with a little help from AI?. LISTEN to this week's @ClickHereShow:
30
40
97
👇And we think formal methods hold the key to a world with significantly less vulnerabilities. Check out DARPA’s podcast, Voices from DARPA: Hackable Code and the Formal Fix, to learn about tools that could revolutionize software security. 🔗
📢 We are facing a software understanding gap in the U.S. which threatens our #CriticalInfrastructure. Learn more about steps you can take to protect the future of our infrastructure in our 🆕 report. 👉
33
43
107