Lean gave AI math a grader nobody can argue with, and empirical science is now getting…
This is a AI post classified by AGK Intelligence as AI research (a model release), kept by the AI Radar because it carries real work, not commentary.
Lean gave AI math a grader nobody can argue with, and empirical science is now getting its own version of that idea. Science’s Last Exam (SLE), a benchmark, grades research agents on artifacts that can be opened and re-run, with checks that domain experts seal when each task is built. Led by the US nonprofit AItonomy Foundation, the benchmark spans 113 tasks in 9 disciplines and grades submissions with checks hidden from agents. Most AI science tests ask questions with known answers; SLE hands an AI agent a research goal, data and lab software, then checks its finished work with tests the a
Posted by Rohan Paul (160.8k followers) 21 h ago · 27 likes · 5k views · view the original post on X. Kept by the AI Radar as AI research. Tools mentioned: Science's Last Exam, science-last-exam, science-last-exam.
More AI work like this
- No need for me to manually scan for new model releases anymore, since @paperswithcodee… — @NielsRogge
- We’re introducing ToyBlocks, an open simulated tabletop for controlled experiments in… — @allen_ai
- HotBench - Expert-authored tasks in medicinal chemistry, microbiology and dermatology to… — @SynBio1
- I wonder if you realize how interesting this is. — @SciTechera
- 🔥我靠！终于有大公司把AI模型后训练的“魔法”拆成可复现配方了！ — @NFT_Chen
- BREAKING: the best of 8 frontier models scored 37.5/100 on Science's Last Exam. On true… — @guilleflorvs
- Stanford dropped a 2-hour course on building LLMs from scratch — @RoundtableSpace
- Meet DINOv3 ViT-H/16+: a powerful image feature extractor from the DINOv3 family. With… — @HuggingModels
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 65.6k posts from 5k X accounts over the last 14 days, 10.4k tools, 19 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 16:05 UTC. Full method.