Det finns inga bevis som tyder på att en AI-kemist har syntetiserat en katalysator för syreproduktion från marsmeteoriter, och inte heller att detta skulle föra oss närmare möjligheten av immigration till Mars.