AI tools for checking math research and visualizing NASA Mars data

OSVerify's developers say their framework found five major and 13 minor issues in 11 recent OpenAI math preprints, all verified by human experts. The framework proposes potential errors, then checks whether they are real and substantial. Separately, Sundar Pichai says Gemini 4 Argon turned 80,000-plus NASA Mars weather logs and Ingenuity Helicopter telemetry files into visual slides about atmospheric flight mechanics in minutes.