OpenAI says its Astra model generated ten advances on long-standing math and theoretical computer science problems, with Lean formalization for review.

Reuters’ report puts AI model distillation at the center of US-China tensions, raising new questions about access, attribution, controls and competition.

Coinbase CEO Brian Armstrong says AI agents could broaden crypto use, but investors still need evidence on adoption, security, and economic value.