Mathematicians Call for National AI Code Verification Mission
Op-ed in TIME by mathematicians Patrick Shafto, Ken Ono, and Scott Duke Kominers warns of risks from code no one understands.
Steven Strogatz posted a TIME op-ed coauthored by Patrick Shafto at DARPA, Ken Ono, and Scott Duke Kominers at Harvard Business School. Axiom Math and Carina Hong amplified the piece. It states that mathematical verification of code must become a national mission as AI systems grow more complex and run global infrastructure. The authors argue this step is needed because no one fully understands the underlying code. The post includes a link to the article and a thread expanding on the argument.
Combined views
63.2K
4 posts, first seen 3d ago
Reactions from ranked influencers
4 posts
What happens when the world is run on code no one understands? By Patrick Shafto, Ken Ono, and Scott Duke Kominers @patrickshafto @KenOno691 @skominers
1/ What happens when the world runs on code no one understands? In TIME, Founding Mathematician @KenOno691 joins @patrickshafto at @DARPA and @skominers at @HarvardHBS to argue that mathematical verification must become a national mission in the age of AI. See op-ed in thread.
1/ What happens when the world runs on code no one understands? In TIME, Founding Mathematician @KenOno691 joins @patrickshafto at @DARPA and @skominers at @HarvardHBS to argue that mathematical verification must become a national mission in the age of AI. See op-ed in thread.
one correction: global public good 🇬🇧🧮🇺🇸
The answer to "vibe coding" is formalization – and that means we have to treat mathematical rigor as a national mission 🧮🇺🇸. Honored to write in @TIME with learning-and-knowledge polymath @patrickshafto and one of my math icons @KenOno691, QED 🟥…