SWE-Bench Pro has emerged as a standard benchmark for evaluating software engineering agents on challenging repository-l…

Leading benchmarks for formal theorem proving with large language models are small collections drawn from competition ma…

Multimodal Large Language Models (MLLMs) perform strongly on general visual understanding tasks such as visual question …

Recent advances in wearable sensing enable continuous monitoring of physiological and behavioral signals, yet existing b…

爆料直指霍奇猜想]

For scientific progress, we need benchmarks that test the limits of state-of-the-art models, and evaluation methods that…

We introduce MetroLLM-Bench, a 955-case benchmark for testing language models as the policy layer of a transit kiosk. It…

We introduce DF26, a novel benchmark for detecting AI-generated videos containing fully synthetic clips produced by rece…

A research idea may be novel, coherent, and scientifically plausible, yet its proposed method may remain insufficiently …

包括陶哲轩、新晋得主邓煜在内的 25 名菲尔茨奖得主发表公开信《A Severe Misalignment of AI in Mathematics》，批评 AI 公司最近的所作所为。公开信称，“过去几个月 LLM 的数学能力有飞跃式提升，…

把 2026 年可核查的公开证据整理成一张六层能力路线图——预训练、后训练 RL、推理时计算、上下文与记忆、智能体与 Harness、世界模型。含 Meta ScaleRL 40 万 GPU 小时实验结论、RL 预算占比 10%–30% 口径、Chinchilla 对比、Meta-Harness 6x 差距等数据锚点，并给出优先级表与算法工程师/产品经理的行动建议。

Existing emotional support conversation systems mainly focus on one-on-one seeker-supporter interactions and individual …

Large language models (LLMs) have demonstrated remarkable capabilities in reasoning and code generation, raising the pro…

Model misalignment, prompt injection, or operator misuse could lead AI agents operating frontier-lab accounts to exfiltr…

Robot foundation models are trained and evaluated predominantly in English, and robot demonstration corpora do not exist…

Large language models (LLMs) are increasingly used to formulate optimization models from natural-language problem descri…

Vision-Language-Action (VLA) models have shown promising progress in language-conditioned robotic manipulation. However,…

LLM agents are rapidly becoming production software, deployed to handle customer service, adjudicate disputes, and opera…

Vision-language models (VLMs) are expected to respond helpfully to appropriate requests while withholding compliance wit…

Modern LLM-based agents operate through a harness of tools, reusable skills, and specialist agents that shapes what they…

Temporal reasoning benchmarks for Video-LLMs are often mediated by language, leaving room for linguistic shortcuts from …

Humans need to study only a handful of well-written textbooks to master a discipline and attempt its hardest problems. W…