Arc

Tsinghua researchers release SRHarness for formula discovery, MechBench for mechanism recovery: Tsinghua researchers released SRHarness, an open-source runtime for agentic symbolic regression, and MechBench, a benchmark that tests whether AI can recover the mechanisms behind formulas. SRHarness targets formula discovery, while MechBench evaluates mechanism recovery.

AI Research • Pandaily

Shing-Tung Yau launches 8-institution alliance of 1,000+ scientists to apply AI to math: Fields Medal winner Shing-Tung Yau launched an alliance of eight institutions and over 1,000 scientists to apply AI to mathematics research. The move comes as 25 Western Fields Medal winners warned against AI-generated proofs, with some community members calling for a boycott.

Science • The Decoder

Google DeepMind, Google Cloud to give up to 200 European scientists frontier model access: Google DeepMind and Google Cloud will provide up to 200 top European scientific researchers with direct access to their frontier models. The support also includes $3 million in compute credits.

Google DeepMind • Tech.eu

Nvidia • Nvidia

Nvidia commits $250M in accelerated computing to UK AI safety research over five years: Nvidia pledged $250 million worth of accelerated computing resources to Britain over five years to fund AI security and agentic safety research, Jensen Huang said. Reuters reported the US chipmaker made the commitment to support UK research.