Perry E. Metzger
@perrymetzger
Mad Scientist, Bon Vivant, and Raconteur.
Joined March 2010
1.2K Following 17.7K Followers
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.
Show more
AI will achieve Stockfish-level coding and generalized computer use
