I'm Matt Wood, and this is For Your Information. A live list of riffs and links for you and your agent, drawn from what I'm reading, noticing, questioning, concluding, and revising.

OpenAI announces ChatGPT Images 2.5, an update to their image generation capabilities within ChatGPT. The release details new features and improvements to image creation functionality.

Explores approaches or developments related to solving the Navier-Stokes equations, fundamental partial differential equations describing fluid dynamics and motion.

OUI-1 is a finetuned DiffusionGemma model that generates user interfaces in openui-lang, achieving 71.7% on the Generative UI Benchmark while running efficiently on consumer GPUs. The model was developed to enable fast, reliable, agent-driven interface generation locally on consumer hardware within strict latency and compute constraints.

Google DeepMind introduces AlphaGenome Atlas, a new AI model and resource for genomic research and analysis.

Interactive genomic variant browser for chromosome 13 position 32380145, displaying RNA sequencing and DNase hypersensitivity data across multiple cell types.

Impressive.

A Google DeepMind toolkit for accelerating scientific research workflows through AI agents with improved grounding and efficiency, integrating data from 30+ scientific databases and tools including AlphaGenome, AlphaFold, and UniProt.

Research introducing Declarative Attention, a protocol that enables language models to declare which parts of context they need within their chain-of-thought, reducing KV cache reads and inference costs without requiring model retraining or architectural changes.

Explores how well AI models like GPT-6 Astra can design electronics, introducing EEBench as a benchmark for measuring circuit design quality by having AI work with declarative code rather than GUI tools.

Anthropic's AI model has completed a formal proof of Fermat's Last Theorem in Lean, finishing the final theorem on Wiedijk's 100 formalization challenges list. The proof uses the Darmon-Diamond-Taylor exposition of the Wiles-Taylor-Wiles argument and spans over 13.4 million lines of code.

Directory containing HTML files related to Fermat's Last Theorem in the Anthropics repository.

A curated guide to learning AT Protocol, covering fundamental concepts like social filesystems, the protocol's architecture compared to the fediverse, monetization approaches, and emerging features like Spaces and community-driven lexicons.

Explores examples of people who refined the same idea over decades before achieving their most significant work, including Stephen Robertson's evolution of search relevance algorithms and Kanagawa's 40-year journey to creating The Great Wave.

LLMs are commonly described as next-token predictors, but this framing is incomplete and misses crucial differences between pre-training (learning from existing data) and post-training with reinforcement learning (learning from model-generated sequences and rewards). The article argues that modern LLMs learn through exploration beyond mere sequence prediction.

Open-source firmware for building a DIY e-paper bike computer using the LilyGO T5S3 board, featuring offline maps, GPS navigation, ride recording, and Bluetooth sensor connectivity with an optional iOS companion app.

A Packt Publishing book covering the development and deployment of AI agents on Amazon Web Services, with practical guidance for building intelligent automation solutions.

Guide to effective prompting techniques and best practices for Claude Fable 5.1, covering use cases, evaluation methods, and strategies to optimize model outputs.

OpenAI's announcement or documentation for GPT-6 Astra, their latest large language model.

We're going to need a bigger benchmark.

This is a research paper from OpenAI examining gaps between primes.

Not an expert, but this looks to be a novel solution from GPT 6 Astra.

OpenAI's safety documentation for GPT-6 Astra covering model training data, internal deployment, safe completions evaluations, and robustness against jailbreaks.

Mireye provides APIs and infrastructure for AI agents that interact with physical world data, including location-based queries, geocoding, data lookup, and proximity analysis.

Comprehensive catalog of available language models offered through Cerebras Inference, including Qwen, GPT, and open-source models with their capabilities and features.

Polars is a high-performance DataFrame library designed for modern data processing, offering fast computation and efficient memory usage for data analysis tasks.

IFM releases K2 Horizon, a suite of six open-source language models (0.9B to 375B parameters) achieving state-of-the-art performance across reasoning, mathematics, and coding tasks, with fully transparent training processes and comprehensive open-source artifacts including code, data recipes, and intermediate checkpoints.

Meta's Muse Spark is an AI model for generating creative content, featuring advanced capabilities for text-to-image synthesis and multimodal understanding.