Perry E. Metzger
@perrymetzger
Mad Scientist, Bon Vivant, and Raconteur.
가입 March 2010
1.2K 팔로잉 중 17.7K 팬
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.
더 보기
AI will achieve Stockfish-level coding and generalized computer use
