[winter_blue]

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.

[Scarblac]

Not AI, AI is less trustworthy than normal software almost by definition.

Formally verified traditional algorithms.