2026-09-13

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

👍 15

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

👍 25

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

👍 17

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

👍 12

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

👍 14

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

👍 30

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

👍 14

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

👍 18

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

👍 53

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

👍 12

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

👍 16

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

👍 12

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

👍 19

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

👍 231

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

👍 5

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

👍 12

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

👍 8

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

👍 7

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

👍 92

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

👍 5

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

👍 91

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

👍 13

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

👍 20

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

👍 11

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

👍 47

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

👍 3

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?

👍 18

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

👍 444

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

👍 17

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

👍 8

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

What if AGI is already here, and it's made of... children?

@IAmPascio · 124.8K 粉丝 · 812.5K 阅 · 881 赞 · 140 转

09/12 23:41

The superintelligence, the singularity, AGI, whatever you call it, the one we're so scared of is, ironically, also the one we most likely won't see coming. This essay is going to probably be a pretty

中文介绍 探讨超级智能（AGI）可能已经到来，但人们难以察觉的现象。

No, OpenAI Did Not “Solve Navier–Stokes.”

@mayukh_panja · 9.8K 粉丝 · 311.6K 阅 · 501 赞 · 75 转

09/11 21:44

There seems to be a widespread impression that OpenAI has somehow “solved the Navier–Stokes equations,” and that this represents some enormous breakthrough for fluid dynamics and engineering. It

中文介绍 分析OpenAI并未真正解决Navier-Stokes方程的误解。

A Severe Misalignment of AI and Cancer Biology

@mbeisen · 73.0K 粉丝 · 113.7K 阅 · 528 赞 · 68 转

09/12 09:19

Over the last few months, the cancer-curing capabilities of LLMs have improved dramatically, to the point that they have cured previously untreatable types of cancer and are on the cusp of developing

中文介绍 探讨LLM在癌症生物学领域的应用及其潜力。

How to automate content creation (Full Course)

@EXM7777 · 142.6K 粉丝 · 94.6K 阅 · 501 赞 · 56 转

09/11 22:13

I'm basically giving you the full system i'd use to automate content creation for ANY business... every tool in the chain, every step in order, and where it breaks because a content agent is just a

中文介绍 分享自动化内容创建的全套系统，包括工具链和步骤。

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软件。

GPT-6 Astra by our community

@OpenAIDevs · 421.3K 粉丝 · 51.6K 阅 · 677 赞 · 54 转

09/13 01:33

We shipped GPT-6 Astra. Builders took it from there: Explore 2,234 modeled anatomical parts in 3D: A Manhattan recreation built in Unreal Engine: Six Van Gogh paintings become a walkable

中文介绍 展示社区制作的GPT-6 Astra模型，包括3D人体结构、曼哈顿复刻和梵高画作。

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工程技能图谱：塑造构建过程。

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 Inference Engineering Skills Map

@skeptrune · 17.6K 粉丝 · 16.6K 阅 · 507 赞 · 38 转

09/11 00:33

I made the switch from B2B SaaS web development to inference about a month ago and wanted to share my learnings for others that might be interested in doing a similar thing. After all, inference may

中文介绍 分享从B2B SaaS网络开发转向推理工程的经验。

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

中文介绍 探讨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进行沟通、软件更改和生产系统监控，比以前模型检查频率更低。

The Rise of the Forward Deployed Engineer — and How To Do the Job Right

Latent Space · 09/12 23:01

Before co-founding Kepler, Vinoo Ganesh led Spark at Palantir and built Project Frontline — a pioneering program for Forward Deployed Engineers. He takes us through the best practices of FDEs.

中文介绍 Vinoo Ganesh分享了他作为FDE的先驱项目Frontline的最佳实践。

[AINews] DeepSeek v4.1-Flash: 763B-P8B-D16B novel causal Encoder–Decoder architecture with vision marks the Return of the Whale

Latent Space · 09/12 13:56

We agree with Sebastian: this should have been DeepSeek v5

中文介绍 DeepSeek v4.1-Flash采用763B-P8B-D16B的新因果编码器-解码器架构，标志着鲸鱼回归。

Roundtables: Could AI really kill us all?

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有可能毁灭人类。

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

中文介绍 介绍了Agents API、Cognition SWE-2和Muse Shared Agents。

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

中文介绍 弗吉尼亚州阿什本的一个传输线路故障在几秒钟内从电网中切除了超过30吉瓦的负荷。

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.

中文介绍 推出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

中文介绍 今天是一个平静的日子。

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构建和启动云代理，这是一个由Codex驱动、用于编排、长时间会话和工具使用的托管服务。