We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
Ayushi Agarwal
I am this person!
Delegate
Choose a list of delegates
to vote as the majority of them.
Unless you vote directly.
ai (1)
ai-governance (1)
ai-policy (1)
ai-regulation (1)
ai-risk (1)
ai-safety (1)
×
ethics (1)
existential-risk (1)
future (1)
Top
New
-
Ayushi Agarwal votes Against and says:
We prove that no verification procedure can simultaneously satisfy three properties: soundness (no misaligned system is certified), generality (verification holds over the full input domain), and tractability (verification runs in polynomial time). E...
more AI Verified source (Mar 8, 2026)