
OpenAI says AI solved a 90-year-old math problem
What OpenAI’s proposed proof would establish, plus new releases for agent developers, genetics researchers, and voice applications.
The week in AI, read with a data and retrieval lens. One email a week.


What OpenAI’s proposed proof would establish, plus new releases for agent developers, genetics researchers, and voice applications.

NVIDIA's Hugging Face agreement, new model evaluations, and forecasting with related time series.

NVIDIA’s revenue surge, IBM’s open models, outside research on Claude usage, and confidential AI evaluations.

Also: OpenAI describes its agent integration tools, previews private safety processing, and researchers examine failures across scientific workflows.

Meta’s openly licensed model brings coding and image input to local agents. Plus a claimed mathematical advance and research on inspecting agent behavior.

Unauthorized agent actions, an audit of an AI-generated proof, and Google's cyclone forecasting results.