All Updates
Page 301 of 1573
June 12, 2026
Pythagoras-Prover: Efficient Formal Theorem Proving Breakthrough
Pythagoras-Prover is a new family of compute-efficient Lean theorem provers that achieves state-of-the-art performance on MiniF2F benchmarks. By utilizing Augmented Lean Formalisation (ALF) and curriculum fine-tuning, the models deliver superior reasoning capabilities with significantly fewer parameters than existing giants.
Predicting User Rejection in Clinical LLM Deployments
This research introduces a pre-response classifier that predicts the likelihood of user rejection in clinical LLM interactions. By leveraging deployment-specific context like provider type and department, the model achieves an AUROC of 0.719, enabling more effective guardrails.
PersonaDrive: Human-Style VLA Agents for Driving Simulation
PersonaDrive introduces a VLA pipeline that conditions autonomous driving agents on human-style demonstrations. By using retrieval-augmented generation, it enables diverse driving behaviors—aggressive, neutral, or conservative—without requiring per-style model retraining.
New Framework Optimizes AI Agent Decision Support
This research introduces a framework for strategic decision support in agentic systems, focusing on minimizing support usage while controlling error rates. It provides a mathematical approach to determine when AI agents should seek human or tool intervention.
From AGI to ASI: Pathways and Future Transitions
This research report explores the theoretical transition from human-level Artificial General Intelligence (AGI) to Artificial General Superintelligence (ASI). It identifies four primary development pathways and discusses the potential for a series of transformative societal changes rather than a single event.
Formalizing Mentalizing Mechanisms for AI Epistemic Inference
The Theory of Mind Utility (ToM-U) introduces a formal computational framework for modeling how agents infer the beliefs of others. By utilizing Local Epistemic World Models (LEWMs), it provides a structured approach to tracking epistemic states without relying on neural implementation assumptions.
Evoflux: Evolutionary Search Improves Compact Agent Tool Execution
Evoflux is an inference-time evolutionary search method designed to repair executable tool workflows for compact language models. It significantly improves tool execution feasibility by evolving workflow graphs through structured edits and execution feedback.
Evaluating Lie Detectors Across LLM Scales and Beliefs
Researchers evaluated four lie detection methods against a new testbed of 13 reasoning models with verified hidden beliefs. The study reveals that while detection accuracy scales with model capability, most activation-based detectors fail on trained model organisms, highlighting significant limitations in current AI auditing tools.
Arbor: Tree Search as Cognition Layer for Autonomous Agents
Arbor is a new multi-agent framework that utilizes structured tree search as a shared working memory to optimize autonomous agent performance. By coordinating specialized agents through a critic-orchestrator architecture, it achieves significant gains in complex inference tasks.
A Design-Science Framework for Adjudicating AGI Claims
該研究提出 DAF-AGI 框架，旨在解決 AGI 定義模糊與評估標準不一的問題。透過結構化的治理審計與五項序數標準，該框架能更客觀地驗證各類 AGI 性能聲明。
Codex adds flexible rate limit reset for paid users
OpenAI has introduced a feature for Codex that allows paid users to save and trigger rate limit resets at their preferred timing. This update addresses user frustration regarding rigid API throttling.
Hidden details from Apple's WWDC 26 keynote
The article explores subtle but significant details from the WWDC 26 keynote that were overshadowed by the main AI announcements. It highlights technical nuances and strategic shifts in Apple's ecosystem.
Record-breaking Biotech IPO Led by Former J&J R&D Head
A former J&J R&D executive has successfully led a high-profile team to complete a record-breaking biotech IPO. This move signals significant capital movement in the life sciences sector.
Anthropic's Rapid Cycle: Filing, Pausing, and Launching
Anthropic completed a rapid cycle of filing, pausing, and launching new products within a ten-day window. This aggressive pace highlights the intense competitive pressure in the LLM market.
ASIC Market Shifts from Monopoly to Diverse Competition
The ASIC market is undergoing a structural shift, moving away from a single-player dominance toward a more diverse competitive landscape. This change is driven by the increasing demand for specialized AI hardware.
NIO launches Onvo L60, starting at 135,800 RMB
NIO has officially launched the Onvo L60, positioning it as a mass-market vehicle that brings NIO's flagship battery-swapping technology to a wider audience. The brand aims to move beyond the 'Model Y killer' label to focus on being a provider of accessible high-end EV tech.
DingTalk leadership transition: Chen Yusen succeeds Wuzhao
DingTalk's former CEO Wuzhao has vacated his office, marking a significant leadership transition. Chen Yusen is set to take over, signaling a potential shift in the company's strategic direction.
MiniMax faces user backlash over 'disguised' price hikes
MiniMax is facing criticism from users regarding recent pricing adjustments perceived as 'disguised' increases. The move has raised concerns about potential user churn in a highly competitive AI market.
Google Partners with Samsung to Ease AI Chip Shortage
Google is shifting some of its AI chip production to Samsung to mitigate supply chain constraints. This move highlights the intense global competition for manufacturing capacity to support AI infrastructure.
China Deploys 5 Million GaN Chips for 6G Networks
China has successfully deployed 5 million gallium nitride (GaN) radio frequency chips, marking a significant milestone for 6G infrastructure. These chips are critical for high-frequency communication performance required by next-generation AI-integrated networks.