Reaction
The case for AI-human teams verifying silicon chips from physics up
A post argues 2030s cybersecurity will require verifying chip hyperproperties from assumptions like Maxwell’s equations, not Armv9.4-a SAIL.
TLDR
One poster argues that cybersecurity in the 2030s will depend on AI-human teams formally verifying hyperproperties of silicon chips from assumptions like Maxwell’s equations rather than Armv9.4-a SAIL. A reply asks whether the poster has published their AI timeline estimates.
Combined views
—
2 Sources, first seen ago
