logoalt Hacker News

astrange • last Monday at 11:13 PM • 1 reply • view on HN

Agents can generate formal proofs that are checked with an oracle like Lean and can run in a loop.

Replies

YeGoblynQueenne • last Monday at 11:38 PM

What are the search algorithms then? DFS, BFS, A*, etc, can you name them?

➕ show 1 reply