AIA call for OpenAI to formally verify all software
A user proposes starting with critical open source infrastructure projects, arguing that OpenAI has the resources and that reducing potential liability alone should justify the work.
TLDR
One post urges OpenAI to take steps toward formally verifying all software, beginning with critical open source infrastructure projects. The author argues that OpenAI has the resources to do this and that the reduction in potential liability alone should justify the effort.
Combined views
1M
6 Sources, first seen 3d ago
5.5K likes
A call for OpenAI to formally verify all software
A user proposes starting with critical open source infrastructure projects, arguing that OpenAI has the resources and that reducing potential liability alone should justify the work.