July’s AI-and-mathematics news: verification is becoming the story

A concise editorial roundup of the month’s research direction: stronger reasoning systems, stricter checks, and clearer roles for people.