PhiladelphiaA Fields Medalist joined OpenAI hours after winning.

AI is automating graduate students’ routine training problems first.

Math proofs check in a verifier or they don’t, making it the clearest test of AI capability.

Journals and referees still must decide whether an AI-assisted proof counts as one.

How each outlet framed it
CODA Story
captures ideological fault line: Fields medalist Tsimerman joins OpenAI despite publicly fearing AI existential risk

Sources: CODA Story