Perry E. Metzger(@perrymetzger):What I would like is to formally verify that code works exactly as expected. “Formal verification” means mathematically proving the correctness of software. This will require AI automation because it’s usually too labor intensive for human developers.

Perry E. Metzger

@perrymetzger

Mad Scientist, Bon Vivant, and Raconteur.

加入 March 2010

1.2K 正在關注 17.7K 粉絲

Perry E. Metzger@perrymetzger

2026.06.17 13:33

What I would like is to formally verify that code works exactly as expected. “Formal verification” means mathematically proving the correctness of software. This will require AI automation because it’s usually too labor intensive for human developers.