Today’s AI news: editorial picks and emerging stories

The source gives a complete recipe for fine-tuning Nemotron 3 to gold-medal-level results at IOI and IMO, which readers can use to reproduce its data and reasoning workflow.

OpenAI made results by an internal frontier model on open math problems public alongside Lean formalizations, showing how model reasoning can be combined with formal verification.

The source provides reusable methods for container wrapping, namespaces, and prompt-cache ordering, helping readers build an agent with long-term memory.

EmbeddingGemma 2 maps text, images, audio, and video into one embedding space and reports concrete on-device memory and vector truncation figures, helping assess local multimodal retrieval.

Mistral outlined the open-weight release schedule for its 1-trillion-parameter multimodal model and its investment in European compute, allowing comparison with mainstream open models.

The source describes how to access GLM 5.3 on Bedrock and use prompt caching, helping readers assess the cost impact of managed inference for coding and long-horizon agent workflows.

The agent benchmark from Microsoft and Hugging Face uses 507 stateful workflows and 20 repeated runs, shifting the focus from tool calls to the final database state.

The source describes AstaBrief's training-data construction and citation-filtering details, which can be adapted to deploy other long-form generation models.

Google described a new TEE-based federated learning system and its deployment in Gboard, showing an engineering path for privacy-preserving on-device training.

The source gives the 64GB configuration's price, launch date, and two-device clustering option, helping readers assess the hardware threshold for running large models locally.

The source gives Astra Ultrafast's speedup over standard mode and access points, helping readers assess its practical effect on coding-agent loops.

The source provides throughput and memory comparisons for the MoE training stack, helping readers assess changes in the cost of large-scale MoE training.

Gemini 4 Argon raises the maximum output to 1M tokens and reports multiple benchmark results and internal deployment data, offering a view of its limits on long-running workflows.

Hugging Face replaces vote-based evaluation with objective metrics, showing how to compare open-source TTS models across languages and voice cloning.

SynthID watermarking has expanded from images to synthetic biology, showing how AI-generated proteins can be marked and verified.

CoreWeave launched Vera Rubin NVL72 and published measured Devin throughput, offering a view of compute costs for agentic coding workloads.

The report gives GPT-6.1 Sol’s Bedrock availability and cost comparison, helping readers assess value for agentic coding tasks.

The source reports model sizes, training-data provenance, and rankings on four benchmarks, helping readers assess the accuracy and efficiency tradeoffs of tabular foundation models.

Microsoft Research describes Quine's multimodal biological world model and experimental loop, including wet-lab validation in pancreatic cancer compound screening.