Researchers at OpenShell have applied formal methods to control AI agents, enabling the creation of a "proof" that a proposed policy change stays within the approved scope. This approach uses the Z3 open-source library to model and verify complex policies, providing a deterministic and fast way to audit and prove invariants. AI summary
Firehose
Filtered to tagged “formal methods” · clear filters
Browse: People · Companies · Papers · Podcasts · Hacker News · Deep dives
Browse by tag
artificial intelligence 89continual learning 27AI 23AI safety 13reinforcement learning 13agentic coding 12open-weight models 12AI agents 10machine learning 9AI ethics 8cybersecurity 8existential risk 8language models 8natural language processing 8ethics 7Reinforcement learning 6Diffusion models 5large language models 5multi-agent systems 5open-source 5recursive self-improvement 5robotics 5security 5software development 5Agentic AI 4artificial general intelligence 4mathematics 4Recursive self-improvement 4agents 3AI infrastructure 3