Yes AI

Nice accessible talk from the Simons Institute presenting one researcher's view on where math is and where it's going.

Summary: there is too much to keep up with and modern proofs are almost too big for individuals to grok. AI with automatic theorem provers is a promising immediate term path forward.

The Autonomous Delivery Platform serves as an AI dispatcher, matching each order with the optimal delivery method based on factors like speed, cost, location, and experience. Whether that’s a Dasher, a Dot on the road, a drone in the air, or a sidewalk robot, the platform orchestrates these decisions in real-time to optimize across our entire global network.

Meet Qwen3-VL — the most powerful vision-language model in the Qwen series to date.

This generation delivers comprehensive upgrades across the board: superior text understanding & generation, deeper visual perception & reasoning, extended context length, enhanced spatial and video dynamics comprehension, and stronger agent interaction capabilities.

Available in Dense and MoE architectures that scale from edge to cloud, with Instruct and reasoning‑enhanced Thinking editions for flexible, on‑demand deployment.

Today, the U.S. General Services Administration (GSA) announced a OneGov initiative with Meta that supports government-wide use of Llama, its open source AI models, making them more accessible to all federal departments and agencies. The streamlined OneGov approach eliminates individual agency negotiations, saving time and reducing duplicated efforts across the federal government.