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.

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.

A project that enables running large language models directly in web browsers with optimized performance, allowing client-side LLM inference without external server dependencies.

Neural networks achieve strong performance in symbolic domains like language and logic despite representing information as continuous vectors rather than discrete symbols. This research shows that neural network representations can be closely approximated with explicit symbolic structures, suggesting that networks implicitly realize symbolic computation and providing a bridge between traditional symbolic and modern connectionist approaches to AI.

Historical record of the Commodore 64's release date, marking the debut of one of the most iconic home computers of the 1980s.

What a machine.

Google announces two new AI models in the Gemini family: Gemini 3.8 Flash and 3.8 Flash Cyber, representing updates to their fast, efficient model offerings.

A social media post reacting with surprise to World Labs' announcement of Atlas, a multimodal world model capable of generating images and video frames with precise camera control and 3D reconstruction.

OpenAI's overview of the development trajectory and roadmap toward Astra, their advanced AI system.