So basically we need software that can 100% autonomously fly a plane. Software t...

		winter_blue 3 months ago \| parent \| context \| favorite \| on: Preliminary report into Air India crash released 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.