The contract between the two AI giants has an exit clause once AGI is achieved. The problem: It is impossible to prove when ...