Comment by winter_blue
2 days ago
So basically we need software that can 100% autonomously fly a plane. Software that is extremely reliable and trustworthy, basically. Software with multiple fallback options. Multiple AI agents verifying every action this software takes. Plus, ground-based teams monitoring the agents and the autonomous flight software.
Not AI, AI is less trustworthy than normal software almost by definition.
Formally verified traditional algorithms.