Zhemal Khamidun
Daily editorial selection of the top AI news from 50+ sources.
10099 articles
Tsinghua's LoopWAM Tops RoboChallenge Table30 and Goes Open Source
LoopWAM, a world action model from Tsinghua, 原力灵机 and 极寰时代, took first place on the RoboChallenge Table30 benchmark. The code, paper and project page are already…
Lean Compilation Overstates Formalization Accuracy by Up to 29.5 Points
An agent with Lean tools compiles 87.2% of statements, but only 57.7% are judged correct. The benchmark authors measured how much compilation overestimates…
TTR-Compressor Compresses Sequences with Regression and Cuts Visual Tokens by 55.6%
The new TTR-Compressor treats token compression as a regression problem and uses its coefficients as the compressed representation: same quality with 55.6% fewer…
EinsiaAI Launches Quant Arena: Half of 9 LLMs Lose Money on China's A-Share Market
ReGDiff Teaches Diffusion Models to Design Metamaterials Without Copying or Producing Defects
Researchers Gauge LLM Uncertainty by the Robustness of Internal Mechanisms in 3 Models
8B-Parameter Model Beats Claude Opus 4.8 at Generating Scientific Ideas
LEASH hands hard steps to a strong agent and cuts Opus 5 costs by 19.2%
LEASH puts a cheap agent in the driver's seat and calls Claude Opus 5 only at hard moments: 73.66% on OSWorld at a cost 19.2% lower.
Volcano Engine Opens Seedance 2.5 4K to 20 Studios for Film Projects
Volcano Engine has launched an enterprise pilot of Seedance 2.5 4K. The first access batch went to 20 studios and directors, with big-screen cinema as the stated…
Lean4AgenticRL: LAR-27B Scores 77.3% on TerminalBench-2.1 with Formal Rewards
HeirCommit Filters Out Up to 83% of Harmful Updates in Self-Evolving LLMs
ACT3D teaches a VLM to explore 3D scenes and beats Gemini 3.6 Flash: 53.2% across six benchmarks
Librarian Agents: LLMs Pre-Build the Workspace and Gain 33 Points on BrowseComp-Plus
Google Antigravity Finds an Antimicrobial Peptide Candidate in a 97-Amino-Acid Protein
Google's Antigravity agent platform and the ProtNLM model found a new 97-amino-acid bacteriocin in UniProt's "dark matter." It is now being tested in the lab.
Mistral releases Timestral: a 209M-parameter model that tops three benchmarks
Mistral's first time-series model family ranks first on GIFT-Eval, TIME and fev-bench with 209M parameters, and it runs on an ordinary server CPU.