Tag
The paper introduces ClaimNov, a fine-grained claim-level novelty checking module for AI scientific discovery pipelines, which catches 97% of disguised papers at a 1.5% false-alarm rate while preserving genuinely novel proposals.
美国白宫发布行政令启动“创世纪任务”（Genesis Mission），由能源部主导建设统一的AI科学平台，利用联邦科研数据训练科学基础模型并开发AI智能体，以加速科学发现并维护美国在AI领域的全球主导地位。
This paper presents TrafficSci, an agentic AI system that automates the discovery of universal traffic laws across cities through iterative workflows, successfully rediscovering established laws and identifying a new temporal memory scale in urban driving behavior.
An internal OpenAI model achieved a breakthrough in the unit distance problem, a famous open conjecture in discrete geometry that had seen no progress in 80 years, by finding a new construction beating the grid's bound.