The daily ledger

True Positive Weekly #180

The most important artificial intelligence and machine learning news and articles

😺 Hume AI: Voice Has a Listening Problem

How Many Stories Can Your Data Tell?

How the way we represent data can change what we think the data is saying The post How Many Stories Can Your Data Tell? appeared first on Towards Data Science.

My First Day With OpenAI Dots: Easy Setup and a Very Likeable Assistant

OpenAI’s new Dots tool gave me a persistent assistant named Herman. After one night and a morning, I’m enjoying how natural it feelsand how little setup it takes.

Insight Is Still the Currency of Data Science

Coding agents give us more time for discovery and our review practices should follow the analysis The post Insight Is Still the Currency of Data Science appeared first on Towards Data Science.

How to Solve Issues When You Nest Measures While Overwriting the Same Filter

In DAX, we reuse existing measures all the time when writing new measures. What happens when we write a measure based on another measure and try to change a filter already set in the nested measure? The post How to…

OpenAI DevDay 2026: ChatGPT is becoming an AI operating system

OpenAI launched more than 20 products at DevDay 2026. Together, Dots, plugins, Agents API, Space, Sign in with ChatGPT, and Private Intelligence reveal a much bigger plan.

Zuckerberg’s Next AI Bet: Teaching Muse When to Keep Quiet

A personal AI agent can know something about you without having permission to share it. Zuckerberg says teaching Muse that distinction is a core capability—and a requirement for earning users’ trust.

DeepSeek Opened the Code. Can Huawei Deliver the Compute?

DeepSeek is making more of its AI infrastructure work with Huawei’s Ascend chips, potentially lowering one barrier to switching away from Nvidia. Whether that becomes a real alternative now depends on developers, chip…

Towards Spec-Driven Test Automation: Part 2

One run, and what it actually proves The post Towards Spec-Driven Test Automation: Part 2 appeared first on Towards Data Science.

😺 OpenAI launched Dots + 20 more tools

SCOPE: Observation-Conditioned Full-Target Prediction for Sparse PDE Inference

arXiv:2609.36527v1 Announce Type: new Abstract: Recovering complete physical fields from sparse observations is challenging because the measurements may not uniquely determine the underlying state. Diffusion-based PDE…

Safe-by-Design Learning via Energy-based Neural Networks

arXiv:2609.36942v1 Announce Type: new Abstract: Learning neural-network models of dynamical systems with safety guarantees is a fundamental requirement for their deployment in safety-critical settings. Safety is…

PHASE: A Physiology-Guided Hierarchical Foundation Model for Intracranial EEG

arXiv:2609.36087v1 Announce Type: new Abstract: Clinicians and neuroscientists have long analyzed intracranial electroencephalography (iEEG) through directly measurable physiological characteristics, which carry much of…

SelfSearch: Reward-Free Search for Self-Improving Agents

arXiv:2609.37968v1 Announce Type: cross Abstract: Advances in the coding capabilities of LLM agents allow them to inspect and modify their own instructions, tools, and execution procedures. Existing approaches use this…

Visual Branch is What You Need for CLIP-based Class-Incremental Learning

arXiv:2609.37888v1 Announce Type: cross Abstract: Class-Incremental Learning (CIL) requires models to recognize new classes over time without forgetting previously learned ones. With the rise of vision-language…

Meta-learning accelerates detector design optimization

arXiv:2609.35827v1 Announce Type: cross Abstract: The quality of a detector design is ultimately determined by the quality of the inference it enables, that is, by the accuracy with which the quantities of interest are…

Identifiability Guarantees for Drivers and Dynamics of Delayed Physical Systems

arXiv:2609.37944v1 Announce Type: cross Abstract: A wide range of methods have been proposed, including physics-informed neural networks, which are powerful but do not guarantee identifiability of the dynamics, symbolic…

Sage: Formalization with Semantic Correction

arXiv:2609.35790v1 Announce Type: new Abstract: While neural theorem provers have achieved impressive milestones in formal mathematics, they largely operate on the assumption that faithful Lean 4 formal statements are…

Formalizing the Sampling Design Space of Diffusion-Based Generative Models via Adaptive Solvers and Wasserstein-Bounded Timesteps

arXiv:2602.12624v2 Announce Type: replace Abstract: Diffusion-based generative models have achieved remarkable performance across various domains, yet their practical deployment is often limited by high sampling costs.…