2026-09-12

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

👍 1

09/10 08:00

Neurosymbolic systems rely on mathematical solvers to guarantee reasoning correctness, yet solvers are fundamentally blind to whether a formal translation maintains strict reference-equivalence to a designated formalization. We formalize this vulnerability as Verdict-Preserving-Unfaithfulness (VPU):

Memory as Plans: World-Action Modeling with Memory-Grounded Planning

👍 9

09/10 08:00

Mainstream robotic policies often adopt a Markovian formulation, but many complex real-world manipulation tasks are inherently non-Markovian, requiring long-horizon memory beyond the current observation. Existing memory mechanisms often rely on language summaries, growing visual windows, or their co

Negative Self-Distillation: Learning to Reason by Avoiding Flaws

👍 4

09/10 08:00

On-Policy Self-Distillation (OPSD) has emerged as a popular paradigm for large language model (LLM) self-improvement, allowing models to act as their own teachers by leveraging privileged information such as ground-truth solutions. However, recent findings indicate that OPSD can severely degrade the

DRG-MAPPO: Hierarchical Dynamic Role-Graph Multi-Agent Reinforcement Learning for Cooperative Air Combat

👍 2

09/10 08:00

Multi-Agent Reinforcement Learning (MARL) has emerged as a pivotal paradigm for complex decision-making in autonomous systems and air combat. While MARL has demonstrated significant potential in air combat, achieving sophisticated tactical coordination remains a non-trivial challenge. This difficult

UniH^3: Unifying Hierarchical Homogeneity and Heterogeneity for All-in-One Medical Image Restoration

👍 2

09/10 08:00

All-in-One medical image restoration (MedIR) aims to address diverse tasks across modalities and degradation types using a single universal model. Existing methods typically prioritize modeling inter-task heterogeneity (e.g., distinct data distributions and degradation types). However, they largely

X-AuT: Progressive Audio-Encoder Compression for Speech LLMs with Cross-Scale Distillation

👍 13

09/10 08:00

Reducing audio-encoder depth lowers the inference cost of speech large language models, but removing complete blocks perturbs the embeddings consumed by the decoder and can cause deletion and premature end-of-sequence errors. We introduce X-AuT, a progressive framework that selects layer combination

Generative Late-Interaction Embeddings For Visual Document Retrieval

👍 2

09/10 08:00

Late-interaction retrieval is the state-of-the-art for visual document search, but it pays for its accuracy in storage. Existing compression methods retain a subset or local average of the N~1,000 vectors per page. Under aggressive storage budgets, however, these methods degrade sharply, and alterna

Recursive Code World Models: Building Complex Worlds through Recursive Scene Programs

👍 7

09/10 08:00

Code world models represent worlds as executable programs, but this representation alone does not determine how to construct a complex world. We introduce Recursive Code World Models (RCWM), a framework for reconstructing complex 3D worlds in code from a single reference image. RCWM couples a Recurs

T1: Terminal Agent Reinforcement Learning for Long-Horizon Tasks

👍 46

09/10 08:00

Agent usage is shifting toward long-horizon tasks such as coding and scientific discovery, among which terminal tasks are especially important. We introduce T1, a Mixture-of-Experts model of 122B total trained with reinforcement learning, operating a real shell in a cloud sandbox for up to 300+ tool

Think Before You Link: Rarity, Reasoning, and Retrieval in Multilingual Entity Linking

👍 2

09/09 08:00

Multimodal entity linking grounds entity mentions in text and images to knowledge-base entries. These systems degrade on rare entities, but prior work measures rarity primarily through popularity-based metrics such as pageviews. We broaden this view using knowledge-graph structural metrics that capt

Building Multilingual Bridges: Data Mixing as the Pillar of Generalization for In-Language Reasoning

👍 2

09/09 08:00

Reasoning language models have made substantial advances on a variety of complex tasks, yet their capabilities remain overwhelmingly English-centric: models primarily reason in English regardless of the language they are prompted in. This is inaccessible for non-English-speaking users, risks losing

IdeaAMBIG: Benchmarking Implementation-Critical Gaps in Research-Idea Specifications

👍 0

09/09 08:00

A research idea may be novel, coherent, and scientifically plausible, yet its proposed method may remain insufficiently specified for faithful implementation. We study the codification readiness of implementation-facing research-method specifications, defined by whether they provide sufficient metho

MetroLLM-Bench: Evaluating Language Models as Transit Kiosk Runtimes

👍 3

09/09 08:00

We introduce MetroLLM-Bench, a 955-case benchmark for testing language models as the policy layer of a transit kiosk. It covers six real metro systems, ranging from 37 to 414 stations, and eleven categories that include routing, fare calculation, disruptions, accessibility, and adversarial input. In

NCP-ArchPreview Technical Report: Moving towards Latent Space Language Models through Next Concept Prediction

👍 176

09/09 08:00

We introduce NCP-ArchPreview, a latent-space language model that pushes autoregressive pretraining beyond standard next-token prediction (NTP). Alongside NTP, the model learns through Next Concept Prediction (NCP) to predict discrete concepts that span multiple tokens, introducing an explicit and mo

The Semantic Bottleneck: Leveraging Semantic Representations for Non-Invasive Speech Decoding

👍 2

09/09 08:00

Non-invasive speech decoding remains constrained by the low signal-to-noise ratio of neural recordings, which makes fine-grained reconstruction of phonemes or individual words difficult. Motivated by neuroscientific evidence that high-level semantic representations are distributed across cortical re

ActReview: Rebuttal-Guided Training Data and Rubric Rewards for Actionable Peer Review Generation

👍 0

09/08 08:00

As LLMs are increasingly used for pre-submission self-review, there is growing demand for feedback that not only identifies weaknesses but also guides authors toward concrete revisions. We study this as Actionable Peer-review Generation and decompose it into two subtasks: diagnostic claim generation

SchemeArena: Factorized Stress Testing of Scheming in LLM Agents

👍 7

09/08 08:00

We study scheming in LLM agents, in which agents covertly pursue misaligned goals. Our focus is to understand how scheming arises from the interaction of key factors, such as instrumental goals, environmental affordances, oversight conditions, and perceived consequences. Prior work examines only a s

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

👍 6

09/08 08:00

Leading benchmarks for formal theorem proving with large language models are small collections drawn from competition math, such as the IMO and Putnam, that poorly represent field-specific applications. We introduce StochBench, a Lean 4 benchmark of 450 graduate stochastic-processes problems at vary

AgentGrad: Intervention-guided Prompt Optimization for Multi Agent Systems

👍 89

09/08 08:00

Large language model (LLM)-based multi-agent systems (MAS) achieve strong performance by employing specialized multiple agents, yet their performance depends on the prompt design of each agent. For MAS prompt optimization, textual gradient methods that guide prompt updates using natural-language fee

PlannerForge: LLM Agents for Scenario-Based Testing of Motion Planners in Autonomous Driving

👍 1

09/08 08:00

Ensuring the safety of autonomous driving is a critical challenge. Scenario-based testing is a systematic process used to validate Autonomous Driving Systems (ADSs), but it remains a fragmented modular pipeline in which scenario generation, retrieval, modification, ADS execution, and results analysi

SpatialBlock: Enhancing Spatial Intelligence in LVLMs via Synthetic Block-Stacking Problem

👍 68

09/07 08:00

Large Vision-Language Models (LVLMs) have achieved strong performance on diverse visual tasks, yet their ability to reconstruct and reason about the 3D structure of the scene depicted in 2D images -- referred to as spatial intelligence -- remains limited. Existing approaches attempt to address this

CARDEA: Auditable Reasoning Grounded in Spatial Evidence for End-to-End Coronary Angiography Interpretation

👍 4

09/07 08:00

Invasive coronary angiography (CAG) is the gold standard for diagnosing coronary artery disease, but interpretation varies substantially among observers. Existing AI systems can improve consistency but lack auditable decision processes and are limited in comprehensive open-ended assessment, undermin

PARSER: Read in Parallel, Reason in Depth for Long-Context LLM Agents

👍 17

09/06 08:00

Sequential memory agents process long documents by reading chunks one after another while maintaining a compact memory state, coupling document traversal to reasoning depth. This coupling introduces sensitivity to evidence placement and ties inference latency linearly to document length. We introduc

OracleZoom: On-Policy Self-Distillation Inspired Reference-Constrained Recursive Image Super Resolution

👍 7

09/06 08:00

Recursive Super-Resolution (SR) extends fixed-scale SR to extreme magnification by repeatedly feeding predictions back into the same model, analogous to zooming an image repeatedly. However, ground truth availability at every scale, especially at depth, remains challenging as the required source res

EvoSafeHarness: Evolving Model- and Domain-Specific Harnesses for Securing Agents

👍 36

09/05 08:00

Large Language Model (LLM) agents are turning language into real-world effects, making safety necessary against both indirect prompt injections and direct harmful requests. System-level safety harnesses add an enforcement layer beyond model-level defenses, but existing harnesses are usually designed

From Reweighting to Rewriting: Unlocking the Intervention Effects of Influential Samples in Training Data Attribution

👍 2

09/02 08:00

Training data attribution (TDA) aims to identify training examples that shape model behavior, but its intervention value depends on both which examples are selected and how they are modified. Influence functions (IF) estimate behavioral changes under infinitesimal reweighting, yet IF-selected exampl

TempCloze: Can Video-LLMs Identify the Missing Middle?

👍 6

09/01 08:00

Temporal reasoning benchmarks for Video-LLMs are often mediated by language, leaving room for linguistic shortcuts from option wording, answer correlations, or language priors. To reduce such shortcuts, we introduce TempCloze, a video cloze benchmark for evaluating visual temporal reasoning in Video

Scaling Automatic Research Agents via World Models

👍 437

08/29 08:00

Automating empirical research is a long-standing direction of AI. Recent automatic research (AutoResearch) agents bring this goal within reach, as modern LLMs show the capability to independently implement solutions and learn from the execution outcomes. Behind these gains, post-training (especially

HyQuant: Hybrid-Precision Quantization for LLM Attention

👍 4

08/28 08:00

Quantization has been widely adopted in LLM training and inference to reduce cost and improve efficiency. However, low-bit quantization of the attention module often introduces large errors at very low bit-widths, causing performance degradation. Existing methods mainly rely on smoothing techniques

A Three-Layer Caching Architecture for Low-Latency LLM Web Search on Commodity CPU Hardware

👍 5

08/12 08:00

AI-powered search products such as ChatGPT search, Google's AI Overviews, and Perplexity provide LLM-synthesized answers grounded in live web results. We developed OreoLook (formerly lixSearch), an open-source answer engine using automated browser agents and provider-routed LLM inference. Its local

10 Ways People Are Making Money With GPT-6 Astra

@sairahul1 · 143.5K 粉丝 · 1.5M 阅 · 561 赞 · 53 转

09/09 18:08

Someone gave GPT-6 Astra $52. 13 hours later: $11,345.95. Someone else gave it $43.47 and one instruction. It turned that into $41,495 overnight. Someone went to sleep. Woke up to $200 in their

中文介绍 分享10种用GPT-6 Astra赚钱的方式，包括快速增资案例。

From GPT-5.6 Sol to GPT-6 Astra: Why Am I Repeating Myself?

@BradGroux · 6.6K 粉丝 · 229.0K 阅 · 561 赞 · 118 转

09/10 06:47

I've been using GPT-6 Astra with the workflow I developed around GPT-5.6: documented task scope, repository context, standard operating procedures, and verification before delivery. In my testing,

中文介绍 对比GPT-5.6 Sol和GPT-6 Astra，分析为何重复使用同一工作流。

How to design brand mascots with AI (krea). No experience needed

@semochkin_alex · 1.5K 粉丝 · 191.5K 阅 · 507 赞 · 44 转

09/09 20:34

Hi, I'm Alex, cofounder at @relate_studio. In this tutorial, I'll walk you through how we design brand mascots with AI: finding first concepts in Krea, refining the best direction in Nano Banana 2,

中文介绍 教程：用AI设计品牌吉祥物，无需经验，使用Krea和Nano Banana 2。

Pushing Local AI Forward

@MiaAI_lab · 27.4K 粉丝 · 180.6K 阅 · 505 赞 · 58 转

09/09 21:45

For the past three months I’ve been building and shipping local AI recipes, mostly for NVIDIA DGX Spark systems. What started as a personal project has grown far beyond what I expected. My GitHub

中文介绍 分享本地AI食谱构建与GitHub项目进展，最初为个人项目，现已扩展。

Personal statement on joining the OpenAI board

@paulfchristiano · 5.3K 粉丝 · 70.7K 阅 · 654 赞 · 96 转

09/10 01:05

I am excited to be joining the OpenAI nonprofit board, serving on the Safety and Security Committee to support safety oversight. Based on the recent trajectory of capabilities and the continued

中文介绍 个人声明：加入OpenAI董事会，致力于安全监督。

How to start vibe editing (No Fluff Guide)

@ForwardEditor · 11.7K 粉丝 · 57.6K 阅 · 511 赞 · 32 转

09/11 11:53

Hey, I’m Brian. Let’s get you started with vibe editing. 1. What I highly suggest having DaVinci Resolve Studio - $295 USD. It’s a one-time purchase, not a subscription. In my experience, Studio

中文介绍 教程：如何开始Vibe编辑，推荐使用DaVinci Resolve Studio。

How to Master ChatGPT Images 2.5 (Full Course)

@Av1dlive · 25.6K 粉丝 · 49.2K 阅 · 512 赞 · 53 转

09/10 22:25

i'm going to show you exactly how to master OpenAI's Images 2.5 to create app designs, websites, product shots.....14 tricks. 44 curated examples. the prompts, the results, and how to fix what goes

中文介绍 教程：掌握ChatGPT Images 2.5，创建设计、网站、产品图片等。

How to Become a Marketing Engineer

@shannholmberg · 36.1K 粉丝 · 46.0K 阅 · 510 赞 · 44 转

09/10 19:04

marketing engineers build the systems behind the marketing. learn how to connect your knowledge, data and agents into workflows that research, plan and run campaigns. I started bringing more of my

中文介绍 教程：成为营销工程师，构建营销系统，实现数据与工作流程的结合。

AI Engineering Skills Map: Shaping the build

@AndrewYNg · 1.9M 粉丝 · 43.5K 阅 · 722 赞 · 105 转

09/12 01:11

When you’re skilled at AI Engineering, your best work won’t be merely implementing a product that someone else spec’ed out. Instead, you will actively shape the build. Before modern AI tools

中文介绍 AI工程技能图谱：塑造构建过程，而非仅实施产品。

Software Engineer to AI Engineer: Best Move 2026

@TechWithTimm · 16.2K 粉丝 · 40.2K 阅 · 506 赞 · 79 转

09/09 22:57

A lot of software engineers see AI engineering as a completely different career. But it’s not. I have a friend who works as an AI engineer and makes around $200,000 to $300,000 a year. When I asked

中文介绍 软件工程师转AI工程师：2026年最佳职业转型，年薪20万至30万美元。

My Son Had Six Weeks to Learn Two Years of Saxon Math. We Used AI.

@DataRepublican · 957.2K 粉丝 · 37.3K 阅 · 846 赞 · 155 转

09/10 10:21

NYC and LA are restricting student AI. We used it to expose what school missed—and repair two years of gaps in six weeks. Part 1 of 3 in a series. Between my husband and I, three of our parents were

中文介绍 使用AI帮助儿子在六周内学习两年数学，修复学校遗漏的六年差距。

The Complete Guide to pstack Pt. 2

@poteto · 92.6K 粉丝 · 23.3K 阅 · 822 赞 · 60 转

09/10 01:02

In my last post, I showed you why verification is the foundation of everything I do with agents, and how to get started creating your own verification skills. The key lesson was that if an agent can't

中文介绍 教程：pstack完全指南第二部分，强调验证是所有工作的基础。

Alaya AI: Mastering Multimodal Sensor Synchronization for Next-Gen Autonomous Systems

@Alaya_AI · 321.1K 粉丝 · 10.6K 阅 · 504 赞 · 450 转

09/10 18:15

As autonomous vehicles, robotics, and spatial computing platforms evolve, AI model training is shifting away from isolated 2D image annotation toward complex multimodal sensor fusion. Today’s frontier

中文介绍 Alaya AI掌握下一代自主系统多模态传感器同步。

Perplexity trusts GPT-6 Astra with end-to-end systems

OpenAI News · 09/14 08:00

Perplexity uses Astra to write communications, change software, and monitor production systems, and checks in much less frequently than with earlier models.

中文介绍 Perplexity利用Astra进行通信、软件更改和生产系统监控，比早期模型检查频率低得多。

Roundtables: AI’s apocalypse crisis

MIT Tech Review AI · 09/12 04:05

Employees at the world’s leading AI labs are saying there’s a real possibility that advanced AI could destroy humanity. Are they right? Or is this more scaremongering and hype? Join MIT Technology Review executive editor Niall Firth for a conversation with senior AI editor Will Douglas Heaven and AI

中文介绍 世界领先AI实验室的员工表示，高级AI有可能毁灭人类，MIT Technology Review执行编辑Niall Firth与高级AI编辑Will D进行对话。

Cognition helps Devin test its own work with GPT‑6 Astra

OpenAI News · 09/12 00:00

GPT‑6 Astra improves Devin’s ability to test software and show that it works, with the goal of helping engineers review less code and ship more.

中文介绍 GPT-6 Astra帮助Devin测试软件，以帮助工程师减少代码审查并更快发布。

Rapidly scaling online storage to serve over 1 billion ChatGPT users

OpenAI News · 09/11 18:00

Learn how OpenAI evolved Habitat from a Python library into a globally distributed storage platform serving 1 billion ChatGPT users and 22M requests per second.

中文介绍 OpenAI将Habitat从Python库进化为全球分布式存储平台，服务于10亿ChatGPT用户和每秒2200万请求。

Agents API 🤖, Cognition SWE-2 👨‍💻, Muse Shared Agents 🧑‍🤝‍🧑

TLDR AI · 09/11 08:00

中文介绍 TLDR AI发布最新AI动态。

How a researcher uses Codex and ChatGPT to search for new antimicrobial molecules

OpenAI News · 09/11 00:00

César de la Fuente’s lab uses Codex and ChatGPT to search living and extinct genomes for antimicrobial candidates to fight drug-resistant infections.

中文介绍 César de la Fuente的实验室使用Codex和ChatGPT搜索抗微生物分子，以对抗耐药感染。

Now everyone can put data to work

OpenAI News · 09/10 23:00

Meet the Data agent in ChatGPT Work. Connect company data, uncover insights, and build interactive dashboards with AI using natural language.

中文介绍 ChatGPT Work中的Data代理可连接公司数据，利用AI进行自然语言处理，发现洞察力并构建交互式仪表板。

Powering AI is an architecture problem

MIT Tech Review AI · 09/10 19:00

On July 22, 2026, a transmission line fault in Ashburn, Virginia—the heart of the world’s largest data center cluster—knocked more than 3 gigawatts of load off the grid in seconds. And it wasn’t the first time. Two years earlier, a single failed surge arrester dropped roughly 60 Virginia facilities

中文介绍 2026年7月22日，弗吉尼亚州阿什本的一个传输线路故障导致全球最大数据中心集群的3多吉瓦负荷在几秒钟内断电。

Introducing ChatGPT for Financial Services

OpenAI News · 09/10 15:00

Introducing ChatGPT for Financial Services, combining built-in financial data and GPT-6 Astra for research, modeling, and client-ready materials.

中文介绍 OpenAI推出ChatGPT金融服务平台，结合内置金融数据和GPT-6 Astra进行研究和建模。

Expanding AI access and cyber defense for federal, state, local, and tribal governments

OpenAI News · 09/10 15:00

OpenAI and GSA will offer eligible federal, state, local, and tribal governments $0 license fees, 50% off usage, and expanded cyber defense support.

中文介绍 OpenAI和GSA将为符合条件的联邦、州、地方和部落政府提供0美元许可费、50%的使用折扣和扩展的网络安全支持。

[AINews] not much happened today

Latent Space · 09/10 11:33

a quiet day

中文介绍 今天AI新闻相对平静。

Build more natural voice experiences with GPT‑Live‑1 in the API

OpenAI News · 09/10 08:00

GPT‑Live‑1 brings natural, full-duplex voice conversations to the API, with stronger instruction following, custom voices, and telephony support.

中文介绍 GPT-Live-1为API带来自然、全双工语音对话，具有更强的指令遵循、定制声音和电话支持。

Introducing the Agents API

OpenAI News · 09/10 08:00

Build and launch cloud agents with the Agents API, a managed service powered by the Codex harness for orchestration, long-running sessions, and tool use.

中文介绍 通过Agents API构建和发布云代理，该API是一个由Codex驱动的托管服务，用于编排、长会话和工具使用。

Rebuilding AUTOMATIC1111 with Gradio Workflow

Hugging Face Blog · 09/10 08:00

中文介绍 使用Gradio Workflow重建AUTOMATIC1111。

DeepSeek Flash v4.1 🤖, Siri AI 📱, Anthropic AI economics 📈

TLDR AI · 09/10 08:00

中文介绍 TLDR AI发布最新AI动态。