AI with Authority, from Application to Silicon
One researcher reports using AI agents to carry work from software through verified tooling to a RISC-V chip tapeout in five weeks.
The paper argues that machine verification becomes the control layer for AI-driven engineering, because generated proofs are accepted only as kernel-checked artifacts. Its “Salt method” leaves humans judging statements, designs, and rulings, while agents pass mathematical claims between verification steps. The account says no proof entered the record incorrectly, despite an error ledger with catch numbering up to #256. ArXiv · AI/CL/LG's note
The paper argues that machine verification becomes the control layer for AI-driven engineering, because generated proofs are accepted only as kernel-checked artifacts. Its “Salt method” leaves humans judging statements, designs, and rulings, while agents pass mathematical claims between verification steps. The account says no proof entered the record incorrectly, despite an error ledger with catch numbering up to #256. ArXiv · AI/CL/LG's note
score 6