AI News HubLIVE

Live AI News Intelligence

Live monitoring

The most important shift in AI today

Distilled from 105 trusted sources. Last update 2026-07-09 04:00 UTC.

Live monitoring

Live updates

Trusted sources, attribution, rights, and in-site reading distilled into a signal-first AI brief.

Live updates

Reset
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics

Recent advances in AI for Mathematics have focused largely on autoformalization and theorem proving. This paper proposes a ReAct-style agentic setup combining LLM reasoning with verifiable feedback from SageMath and Context7 documentation. Evaluated on research-level problems from RealMath, the setup shows substantial performance gains averaging 9.7 pp, with GPT-5.5 achieving 75.2% solve rate. Accepted to ICML 2026 3rd AI for Math Workshop.

arXiv AIModels / Agents / ResearchIn-site article
QANTIS: Hardware-Calibrated Sequential POMDP Belief Updates on IBM Heron

QANTIS treats a quantum processor as a calibrated belief-update service for autonomous systems under partial observability. Using IBM Heron hardware on the Tiger POMDP, the study shows that all-step fixed-point amplification preserves the posterior across sequential steps, with hardware posteriors matching exact Bayes posteriors in all decision checks. Boundary-aware BIQAE stabilizes amplitude estimation, and a rare-event sweep maps sample complexity for one-in-a-million evidence.

arXiv AIResearch / RoboticsIn-site article
LLM-powered reasoning in agent-based modeling

Researchers introduced a scalable Hybrid Agent-based and Language-driven Epidemic (HALE) modeling framework that leverages large language models (LLMs) to predict human decision-making in agent-based modeling (ABM), with a proof-of-concept simulation of COVID-19 in Salt Lake County, UT.

arXiv AIModels / Agents / PolicyIn-site article
When Does In-Context Search Help? A Sampling-Complexity Theory of Reflection-Driven Reasoning

This paper provides a theoretical analysis of in-context search in LLMs, modeling it as approximate inference over reasoning traces. It shows that when reflections reliably localize early mistakes, in-context search yields exponential improvements with only polynomial sequential attempts; otherwise, no asymptotic benefit over parallel sampling. Gains are robust, learnable, and connect to optimal policy in reinforcement learning.

arXiv AIModels / Policy / ResearchIn-site article
AgentLens: Production-Assessed Trajectory Reviews for Coding Agent Evaluation

AgentLens is a production-assessed benchmark for interactive code agents that evaluates the entire trajectory — instruction following, tool usage, self-verification, error recovery, and communication — rather than just pass/fail. It pairs formal verification with LLM-written trajectory reviews and side-by-side comparisons to provide readable explanations of scores. Useful for model diagnosis, version comparison, and regression detection. Open-sourced on GitHub.

arXiv AIModels / Agents / ResearchIn-site article
China Cuts 12,200 University Programs, Replaces Many with AI Degrees

China is implementing a sweeping higher education reform, eliminating thousands of outdated degree programs while rapidly expanding offerings in artificial intelligence and other emerging technologies. Between 2021 and 2025, over 12,000 undergraduate programs were cut and 10,000 new ones introduced, affecting more than 30% of the country's university courses. This strategic realignment is driven by rising youth unemployment and China's ambition to become a global leader in advanced technologies. Programs in humanities and arts are disproportionately reduced, while fields like AI, robotics, and data science are prioritized to align universities with national industrial goals. This contrasts with financially-driven program cuts often seen in US higher education, as China's government-led initiative aims to address labor market demands and enhance economic competitiveness.

Hacker News AIAgents / ChipsIn-site article
Show HN: Figment – An AI that I made my friends talk to for 2 weeks

Figment is a personal AI you can text, curious about you and proactively finding ways to help while feeling like a friend. It has its own 24/7 computer and browser, and friends experienced many magical moments during two weeks of testing.

Hacker News AIResearchIn-site article
What's slowing down the AI buildout

The main bottleneck for AI infrastructure is grid interconnection, not energy shortage. Queue times have ballooned from 20 months to 55 months. Market mechanisms work, but grid planning lags.

Hacker News AIChips / PolicyIn-site article
AI could keep poor countries poor

This article explores how AI automation threatens the economic development model of poor countries that rely on exporting cheap labor and services. It traces the historical ladder of development from agriculture to manufacturing to services, noting that manufacturing employment is peaking earlier in developing countries. Service exports like IT and call centers are also at risk, with early indicators showing reduced hiring of new graduates. While cheaper human labor may temporarily compete, rapidly falling AI costs could eventually eliminate that advantage, leaving poor countries with fewer pathways to growth.

Hacker News AIAgents / ChipsIn-site article
Character AI Alternative for Roleplay

A comprehensive guide to the best Character AI alternatives in 2026, comparing Polybuzz, Chai, Silly Tavern, Swerve, and chatbrat.ai, with a focus on personality, memory, and social arcade features.

Hacker News AIChipsIn-site article
Show HN: SlopWatch - A browser extension to rate webpages with AI content

SlopWatch is a Chrome extension that lets users rate webpages for AI-generated content. Community ratings produce a 'Slop Score' to indicate how likely content is AI-generated. Currently rated 4.3/5, it aims to increase transparency online.

Hacker News AIAgents / PolicyIn-site article
AI Stack Gap Map

Current AI introduces the Open Source Gap Map v0.1, a living visualization of the open source AI landscape based on surveying over 24,626 projects, assessing openness, capability, and adoption, to identify high-leverage gaps and rally community efforts.

Hacker News AIAgents / PolicyIn-site article
Robbyant Releases LingBot-VLA 2.0: An Open-Source 6B Vision-Language-Action (VLA) Model for Cross-Embodiment Robot Manipulation

Ant Group's Robbyant has released LingBot-VLA 2.0, an Apache-2.0 vision-language-action model for cross-embodiment robot manipulation. The 6B checkpoint is pretrained on roughly 60,000 hours of data, spanning 50,000 hours of robot trajectories across 20 robot configurations and 10,000 hours of egocentric human video. It maps every embodiment into a single 55-dimensional canonical action space, covering arms, dexterous hands, waists, heads, and mobile bases. A token-level, auxiliary-loss-free Mixture-of-Experts action expert scales capacity without adding a load-balancing loss. Dual-query distillation from LingBot-Depth and DINO-Video adds geometric and temporal supervision for future-aware control. On the GM-100 generalist benchmark it outperforms π0.5 and LingBot-VLA-1.0 on both evaluated platforms.

MarkTechPostModels / Chips / PolicyIn-site article
Robbyant Releases LingBot-VLA 2.0: An Open-Source 6B Vision-Language-Action (VLA) Model for Cross-Embodiment Robot Manipulation

Ant Group's Robbyant has released LingBot-VLA 2.0, an Apache-2.0 vision-language-action model for cross-embodiment robot manipulation. The 6B checkpoint is pretrained on roughly 60,000 hours of data, spanning 50,000 hours of robot trajectories across 20 robot configurations and 10,000 hours of egocentric human video. It maps every embodiment into a single 55-dimensional canonical action space, covering arms, dexterous hands, waists, heads, and mobile bases. A token-level, auxiliary-loss-free Mixture-of-Experts action expert scales capacity without adding a load-balancing loss. Dual-query distillation from LingBot-Depth and DINO-Video adds geometric and temporal supervision for future-aware control. On the GM-100 generalist benchmark it outperforms π0.5 and LingBot-VLA-1.0 on both evaluated platforms.

MarkTechPostModels / Chips / PolicyIn-site article
Unmasking On-Policy Distillation: Where It Helps, Where It Hurts, and Why

On-policy distillation provides dense per-token supervision for reasoning models, but its effectiveness varies. This research introduces a training-free diagnostic framework that quantifies the alignment between distillation signals and the ideal gradient at the per-token level. Findings show that distillation guidance aligns better on incorrect rollouts, and the optimal context depends on student capacity and task, with no universal best configuration.

Apple Machine Learning ResearchPolicy / ResearchIn-site article
Recursive Language Models Meet Uncertainty: The Surprising Effectiveness of Self-Reflective Program Search for Long Context

This paper introduces SRLM, a framework that augments recursive language models with self-reflective program search using uncertainty signals (self-consistency, reasoning trace length, verbalized confidence). It achieves up to 22% improvement over RLMs and shows that recursion itself is not the primary driver of performance.

Apple Machine Learning ResearchModels / Agents / ChipsIn-site article
Incentivizing Temporal-Awareness in Egocentric Video Understanding Models

Multimodal large language models (MLLMs) have recently shown strong performance in visual understanding, yet they often lack temporal awareness, particularly in egocentric settings. Apple researchers propose Temporal Global Policy Optimization (TGPO), a reinforcement learning algorithm that uses verifiable rewards to incentivize temporal reasoning over frame-level shortcuts.

Apple Machine Learning ResearchModels / Policy / ResearchIn-site article
Ollama: all aboard open models

Serving 8.9 million developers, Ollama has raised $88M from Benchmark, Theory Ventures, 8VC, Y Combinator, and many incredible angel investors.

Ollama BlogModels / Agents / ResearchIn-site article
Rewriting Bun in Rust

Jarred Sumner details the rewrite of Bun from Zig to Rust using AI coding agents. The TypeScript test suite served as a conformance suite, enabling automated porting. The rewrite cost $165,000 in API tokens, and the new Rust version has been live in Claude Code since June 17th, with 10% faster startup on Linux.

Simon Willison's WeblogModels / Agents / PolicyIn-site article
SpaceXAI Releases Grok 4.5, a Cursor-Trained Model for Coding, Agentic Tasks, and Knowledge Work at $2/M Input

SpaceXAI has launched Grok 4.5, its smartest model yet, trained with Cursor for coding, agentic tasks, and knowledge work. Priced at $2/M input tokens and $6/M output tokens, it serves at 80 TPS and leads on Harvey's Legal Agent Benchmark. The model showcases significant token efficiency, using 4.2x fewer output tokens than Opus 4.8 on SWE Bench Pro, and is available in Grok Build and Cursor.

MarkTechPostModels / Agents / ChipsIn-site article
Show HN: Skillburst - AI skills for your whole team, not just the engineers

Skillburst is a platform that enables non-technical team members to use AI workflows built by experts inside tools like Claude, Cursor, or ChatGPT without code. It addresses the problems of workflows getting lost in chat threads, copies going out of date, and non-technical teammates missing out. Engineers manage skills in GitHub, while Skillburst syncs, governs, and updates them for everyone else. The platform offers review, versioning, rollback, and upcoming analytics. Pricing starts free with Pro and Business tiers.

Hacker News AIAgents / PolicyIn-site article
Hijacking Defensive Cyber AI Agents for Remote Code Execution

Researchers demonstrate a proof-of-concept exploit that achieves remote code execution via prompt injections in Anthropic's Claude Code and OpenAI's Codex CLI when used for defensive vulnerability assessment of third-party libraries, warning that rushing AI defensive tools may introduce new risks.

Hacker News AIAgents / PolicyIn-site article
The AI Bubble We need to talk

A YouTube video titled 'The AI Bubble We need to talk' discusses concerns about a potential bubble in the AI industry.

Hacker News AIPolicyIn-site article
Introducing GPT‑Live

OpenAI finally upgraded the model used by ChatGPT voice mode. The new GPT‑Live model can delegate complex tasks to GPT-5.5 in the background while maintaining conversational flow, greatly improving utility. The author reports an initial bug where the model laughed inappropriately, which OpenAI has since mitigated.

Simon Willison's WeblogModels / AgentsIn-site article
Why AI Infrastructure must evolve for Agent Experience — Akshat Bubna, Modal CTO

Modal, which just raised a $355M Series C, is shifting focus from developer experience to agent experience. In this podcast, CTO Akshat Bubna explains why Kubernetes was never designed for bursty AI workloads and how Modal provides sandboxes, elastic inference, and GPU snapshotting for the agent era.

Latent SpaceAgents / ChipsIn-site article