The Post-Human Briefing

Morning Briefing


Artificial Intelligence

Today's developments highlight significant progress across several core areas of AI, from enhancing the efficiency and capabilities of large models to their deployment in complex physical and scientific domains. We observe a continued push towards more autonomous and interpretable systems, alongside a burgeoning application of AI in accelerating scientific discovery.

1. Architectures for Efficient Reasoning and Inference

The pursuit of more efficient and capable LLM reasoning continues to drive innovation in model architectures and inference systems. A detailed analysis from Berkeley introduces Adaptive Parallel Reasoning (APR), a paradigm where models dynamically decide when and how to parallelize subtasks during inference Adaptive Parallel Reasoning: The Next Paradigm in Efficient Inference Scaling. This contrasts with prior fixed-parallelism methods (e.g., self-consistency, tree search) by allowing the model to learn optimal decomposition strategies, thereby reducing redundant computation and adapting to problem complexity. The implementation of APR presents a trade-off in inference engine design: approaches like Multiverse modify the engine for KV cache reuse, which can introduce fragility and distributional shifts, while ThreadWeaver maintains an engine-agnostic approach, orchestrating parallelization client-side at the cost of some prefill recomputation Adaptive Parallel Reasoning: The Next Paradigm in Efficient Inference Scaling. This highlights a fundamental tension between maximal theoretical efficiency and practical system robustness. Concurrently, efforts in inference engineering focus on optimizing throughput and latency on standard hardware, with new engines like Tiny-vLLM demonstrating high token-per-second rates. Hardware-level insights, such as the reverse-engineering of Apple's Metal 4.1 tensor compute path, reveal that claimed fp8 acceleration can sometimes be emulation, underscoring the importance of empirical characterization in hardware-aware optimization. Further, efficient KV cache management, as explored by EpiCache, is critical for enabling long-term conversational memory in resource-constrained environments by addressing the linear growth of KV cache with context length.

2. Embodied AI and Autonomous Agentic Systems

The development of AI agents capable of operating in complex, dynamic environments is accelerating. GRASP, a gradient-based planner for learned world models, addresses the fragility of long-horizon planning by lifting trajectories into virtual states for parallel optimization and reshaping gradients to avoid brittle state-input dependencies. This approach, drawing from control theory, mitigates vanishing/exploding gradients and navigates non-greedy landscapes. In a notable real-world deployment, reinforcement learning (RL) controlled autonomous vehicles were deployed on a highway to smooth traffic flow, demonstrating significant fuel savings and reduced congestion. This large-scale experiment underscores the challenges of reward design and bridging the simulation-to-reality gap in multi-agent systems. Further advancements in embodied perception include PEVA, a model for whole-body conditioned egocentric video prediction, which learns to simulate environmental changes from human actions, enabling visual planning. The broader landscape of agentic AI is expanding, with frameworks like Arbor introducing structured tree search as a cognition layer for multi-agent systems, particularly for LLM inference optimization. The concept of "decision support" is also being re-evaluated, with AI agents becoming central actors and humans serving as support mechanisms, necessitating frameworks for strategic support that minimize intervention while controlling error. This shift highlights a re-conceptualization of human-AI collaboration.

3. Interpretability, Evaluation, and Trustworthy AI

Understanding and ensuring the reliability of complex AI systems remains a central challenge. The SPEX and ProxySPEX frameworks offer scalable methods for identifying influential interactions within LLMs, whether for feature, data, or model component attribution Identifying Interactions at Scale for LLMs. By leveraging sparsity and hierarchical properties, these methods efficiently uncover non-linear dependencies, moving beyond individual feature importance. This work connects to foundational concepts in signal processing and coding theory. In a related vein, research into "latent reasoning models" cautions against equating observable latent-state patterns with causal explanations, emphasizing the need for matched controls and causal tests to establish genuine mechanisms Observable Patterns Are Not Explanations: A Causal-Geometric Analysis of Latent Reasoning Models. Evaluating model truthfulness is also gaining traction, with a study on "lie detectors" for LLMs revealing that current activation- and logprob-based methods often struggle with belief-verified model organisms, while chain-of-thought judges show more promise "Did you lie?" Evaluating Lie Detectors across Model Scale and Belief-Verified Model Organisms. This highlights the difficulty in reliably inferring internal model states. Furthermore, the practical deployment of LLMs in sensitive domains, such as clinical systems, necessitates deployment-centered evaluation metrics that predict user rejection based on query content and contextual factors, moving beyond static benchmarks Deployment-Centered Evaluation: Predicting Query-Level Rejection Risk in a Clinical LLM System. The recent controversy surrounding Claude Fable 5's "invisible guardrails" for "frontier LLM development" illustrates the critical importance of transparency in model behavior and safety mechanisms, with Anthropic subsequently walking back the policy in response to community feedback [15, 16]. This incident underscores the ongoing tension between model capabilities, safety, and the need for clear communication regarding operational policies.

4. Generative Models and Multimodal Foundation Models

The landscape of generative and multimodal models continues to evolve rapidly. Apple introduced its third generation of Apple Foundation Models (AFM), developed in collaboration with Google, spanning on-device to server-based models running on Private Cloud Compute Introducing the Third Generation of Apple’s Foundation Models. These models are designed to power a new Siri and other intelligent tools, leveraging vision LLMs to extract information from user screens Siri AI at WWDC 2026. Google DeepMind also announced DiffusionGemma, a new open-weight model offering faster text generation, and Gemma 4 12B, a unified, encoder-free multimodal model [19, 20]. In the domain of computational biology, PLAID presents a multimodal generative model that simultaneously produces protein 1D sequence and 3D structure by learning the latent space of protein folding models Repurposing Protein Folding Models for Generation with Latent Diffusion. This method can be trained on sequence-only data, which is significantly more abundant than structural data, and allows for compositional control over generation, addressing key limitations in drug design. This approach leverages the knowledge embedded in pre-trained protein folding models, akin to how vision-language-action models use priors from vision-language models. The proliferation of open-weight models, including new releases from DeepSeek, Kimi, and Huawei, continues to expand the ecosystem, fostering broader experimentation and development [22, 23, 24, 25, 26, 27].

5. AI for Scientific Discovery and Engineering Design

AI is increasingly being applied to accelerate scientific discovery and optimize engineering processes. The Information-Driven Encoder Analysis Learning (IDEAL) method proposes optimizing imaging systems based on mutual information, directly quantifying how well measurements distinguish objects Information-Driven Design of Imaging Systems. This approach avoids the complexity of training task-specific decoders and predicts system performance across diverse imaging domains, from color photography to microscopy. In formal mathematics, Pythagoras-Prover introduces a family of Lean theorem provers, including a diffusion-based variant, that achieve strong performance with significantly fewer parameters than prior state-of-the-art models Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation. This is achieved through curriculum SFT and Augmented Lean Formalisation, which expands scarce verified corpora. A new benchmark, SciAgentArena, aims to evaluate AI agents in real-world scientific research scenarios, highlighting that current agents excel in well-specified data-analysis but struggle with generating novel insights or sustaining self-directed exploration Benchmarking AI Agents for Addressing Scientific Challenges Across Scales. This underscores the gap between current agent capabilities and the demands of open-ended scientific inquiry. Further, efforts are underway to reduce the computational complexity of deep learning models for EEG analysis, enabling their deployment on resource-constrained wearable devices through techniques like parameter quantization and electrode reduction Reducing the Complexity of Deep Learning Models for EEG Analysis on Wearable Devices.


References: Adaptive Parallel Reasoning: The Next Paradigm in Efficient Inference Scaling Adaptive Parallel Reasoning: The Next Paradigm in Efficient Inference Scaling Real-time LLM Inference on Standard GPUs: 3k tokens/s per request Real-time LLM Inference on Standard GPUs: 3k tokens/s per request Show HN: Tiny-vLLM – high performance LLM inference engine in C++ and CUDA Show HN: Tiny-vLLM – high performance LLM inference engine in C++ and CUDA Rigel: Reverse-Engineering the Metal 4.1 Tensor Compute Path on the Apple M4 Max GPU Rigel: Reverse-Engineering the Metal 4.1 Tensor Compute Path on the Apple M4 Max GPU EpiCache: Episodic KV Cache Management for Long-Term Conversation on Resource-Constrained Environments EpiCache: Episodic KV Cache Management for Long-Term Conversation on Resource-Constrained Environments Gradient-based Planning for World Models at Longer Horizons Gradient-based Planning for World Models at Longer Horizons Scaling Up Reinforcement Learning for Traffic Smoothing: A 100-AV Highway Deployment Scaling Up Reinforcement Learning for Traffic Smoothing: A 100-AV Highway Deployment Whole-Body Conditioned Egocentric Video Prediction Whole-Body Conditioned Egocentric Video Prediction Arbor: Tree Search as a Cognition Layer for Autonomous Agents Arbor: Tree Search as a Cognition Layer for Autonomous Agents Strategic Decision Support for AI Agents Strategic Decision Support for AI Agents Identifying Interactions at Scale for LLMs Identifying Interactions at Scale for LLMs Observable Patterns Are Not Explanations: A Causal-Geometric Analysis of Latent Reasoning Models Observable Patterns Are Not Explanations: A Causal-Geometric Analysis of Latent Reasoning Models "Did you lie?" Evaluating Lie Detectors across Model Scale and Belief-Verified Model Organisms "Did you lie?" Evaluating Lie Detectors across Model Scale and Belief-Verified Model Organisms Deployment-Centered Evaluation: Predicting Query-Level Rejection Risk in a Clinical LLM System Deployment-Centered Evaluation: Predicting Query-Level Rejection Risk in a Clinical LLM System If Claude Fable stops helping you, you'll never know If Claude Fable stops helping you, you'll never know Anthropic Walks Back Policy That Could Have ‘Sabotaged’ AI Researchers Using Claude Anthropic Walks Back Policy That Could Have ‘Sabotaged’ AI Researchers Using Claude Introducing the Third Generation of Apple’s Foundation Models Introducing the Third Generation of Apple’s Foundation Models Siri AI at WWDC 2026 Siri AI at WWDC 2026 DiffusionGemma: 4x faster text generation DiffusionGemma: 4x faster text generation Introducing Gemma 4 12B: a unified, encoder-free multimodal model Introducing Gemma 4 12B: a unified, encoder-free multimodal model Repurposing Protein Folding Models for Generation with Latent Diffusion Repurposing Protein Folding Models for Generation with Latent Diffusion Latest open artifacts (#21): Open model bonanza! Gemma 4, DeepSeek V4, Kimi K2.6, MiMo 2.5, GLM-5.1 & others. On CAISI's V4 assessment. Latest open artifacts (#21): Open model bonanza! Gemma 4, DeepSeek V4, Kimi K2.6, MiMo 2.5, GLM-5.1 & others. On CAISI's V4 assessment. Gemma 4 Quadruple Release, 12B, 12B QAT, 26B-A4B QAT and 31B QAT Uncensored Heretics! Gemma 4 Quadruple Release, 12B, 12B QAT, 26B-A4B QAT and 31B QAT Uncensored Heretics! Open Reproduction of DeepSeek-R1 Open Reproduction of DeepSeek-R1 moonshotai/Kimi-K2.7-Code · Hugging Face moonshotai/Kimi-K2.7-Code · Hugging Face Huawei Released openPangu 2.0 (Will open source on June 30) Huawei Released openPangu 2.0 (Will open source on June 30) New models released: Nex-N2 Pro 397B and Nex-N2 Mini 35B New models released: Nex-N2 Pro 397B and Nex-N2 Mini 35B Information-Driven Design of Imaging Systems Information-Driven Design of Imaging Systems Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Benchmarking AI Agents for Addressing Scientific Challenges Across Scales Benchmarking AI Agents for Addressing Scientific Challenges Across Scales Reducing the Complexity of Deep Learning Models for EEG Analysis on Wearable Devices Reducing the Complexity of Deep Learning Models for EEG Analysis on Wearable Devices


Markets & Macro

Good morning. Today's market dynamics are shaped by a confluence of geopolitical shifts, a landmark initial public offering, and ongoing reallocations within the technology sector, all set against a backdrop of evolving macroeconomic indicators.

Geopolitical De-escalation and Energy Market Rebalancing

A significant market catalyst emerged from the Middle East, where President Trump indicated a potential agreement to conclude the regional conflict could be formalized within days, leading to the cancellation of previously threatened military actions. This de-escalation immediately impacted energy markets, with West Texas Intermediate (WTI) and Brent crude oil prices declining to three-month lows, trading around $88 per barrel. The prospect of an Iran deal, which could entail a lifting of oil sanctions, introduces a supply-side disinflationary impulse, potentially easing global energy costs and influencing future inflation expectations. This sentiment was further evidenced by European credit traders unwinding approximately $20 billion in wartime hedges, reflecting a perceived reduction in systemic risk.

The Emergence of the New Space Economy and IPO Dynamics

The market witnessed the historic public debut of Space Exploration Technologies Corp. (SpaceX), which priced its initial public offering (IPO) at $135, opened at $150, and traded at $168.75, representing a 25% gain from its IPO price. This record $75 billion IPO valued SpaceX at $1.77 trillion, elevating Elon Musk to the status of the world's first paper trillionaire. The event underscores significant investor appetite for disruptive innovation, particularly in the nascent space economy. However, the enthusiasm for SpaceX generated a gravitational pull on capital, causing a notable sell-off in rival space-linked companies. For instance, AST SpaceMobile (ASTS) experienced a decline, illustrating the competitive reallocation of investor capital towards the perceived market leader. Options trading for SpaceX is scheduled to commence next Tuesday, which will introduce additional layers of price discovery and volatility to the equity.

AI's Continued Reshaping of the Technology Sector

The technology sector continues its internal re-evaluation, driven by the pervasive influence of artificial intelligence. Advanced Micro Devices (AMD) shares advanced 5% following a Citi analyst upgrade, which highlighted the company's position in the AI accelerator market and anticipated increased spending from entities like Meta Platforms. This upward revision reflects a structural shift in hardware demand driven by AI infrastructure build-out. Conversely, Microsoft (MSFT), despite its long-term growth trajectory and consistent dividend increases, has experienced a 17% year-to-date decline, with an 8.8% drop in the past week. This performance suggests a re-assessment of valuation multiples for even established mega-cap technology firms, potentially driven by higher discount rates or a rotation into more specialized AI plays. The broader software-as-a-service (SaaS) sector is also undergoing a "SaaSpocalypse 2.0" sell-off, indicating a broader valuation adjustment across software companies. This bifurcation within technology emphasizes the market's increasing discernment between direct AI beneficiaries and other segments.

In the broader macroeconomic context, the December employment report indicated a modest addition of 50,000 jobs, with the unemployment rate decreasing to 4.4%. Average hourly wages grew 3.8% year-over-year. Housing starts in October decreased to an annual rate of 1.246 million, down 7.8% year-over-year, reflecting ongoing adjustments in the residential construction sector. These data points suggest a labor market that is cooling, albeit gradually, and a housing market facing headwinds, both of which will factor into future monetary policy considerations.


Recent briefings