What we have learned at OpenShell applying formal methods to control AI agents

Published Sep 15, 2026 • 2:40 PM

Article URL: https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/

Comments URL: https://news.ycombinator.com/item?id=49713261

Points: 4

# Comments: 0

Read the full story at Hacker NewsOriginal

Related Markets

All Markets

NVIDIA Corporation

NVDA

View full chart →

View Full Chart

Market data may be delayed. Not financial advice.

The Story At A Glance

Reading this article now — analysis appears below

Reading the article

💡 AI analysis provides alternative perspectives on current events

Questions Alto can answer

From this story — each link opens a live data page or a tool already filled in.

All tools All topics Source directory Story timelines Headline comparison Search Most read

From Gab Shop

Official merchandise. Every order funds free speech infrastructure.

Shop all

Gab Emblem America 250 T-Shirt

America 250 Liberty Bell T-Shirt

Go Home America for Americans T-Shirt

Deport Them All Garden Flag

Shop all products

Install Alto on your phone

Add Alto to your home screen for breaking news — no app store, no account.

Step 1Open alto.gab.com in SafariMust be Safari — not Chrome or in-app browsers
Step 2Tap the Share buttonSquare with an arrow, at the bottom of Safari
Step 3Tap "More"If you don’t see Add to Home Screen yet
Step 4Tap "Add to Home Screen"Scroll the share sheet if you need to
Step 5Tap "Add"Alto appears on your home screen like any other app.

gab

Talk Big Tech Where Big Tech Can't Reach

AI, surveillance, and censorship, covered by the people the platforms removed first.

What Makes Gab Different

We're not just another social network. We're a platform built on principles that matter.

Freedom of Speech & Reach

All First Amendment protected speech is welcome. No algorithmic throttling or shadow banning.

Family-Friendly Platform

We maintain a clean environment. Explicit adult content is strictly prohibited.

Western Nations Only

Third-world IPs are blocked. No scammers, no spam farms. Built for Western civilization.

Funded By Users

Our users are our investors and customers. You're not the product being sold.

Battle Tested

A decade of standing strong. Banned from app stores, banks—and still here.

American Owned & Operated

We reject foreign censorship demands. Built by Americans, for free people.

Support Alto & Gab

Alto is funded entirely by readers like you. Your donation helps us continue delivering curated news from a right-wing Christian Nationalist perspective, powered by Gab AI.

The story