AI agent benchmarks are broken(ddkang.substack.com)
167 points by neehao | 79 comments
167 points by neehao | 79 comments
789 points by Tenoke | 518 comments
AI 2027 is a scenario by Daniel Kokotajlo, Scott Alexander and others forecasting the impact of superhuman AI over the next decade, with interactive capability charts.
54 points by earlence | 5 comments
135 points by raahelb | 105 comments
OpenAI research post describing how thousands of GPT-Rosalind agents analyzed a whole-brain CRISPR atlas with PerturbAI and Scripps Research to surface biological leads.
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.
555 points by kgwgk | 200 comments
Nature news article on a growing movement using AI and large language models to detect errors in research papers, sparked by a flawed black plastic utensils study.
343 points by BOOSTERHIDROGEN | 168 comments
Addy Osmani's blog post introducing Agent Skills, an attempt to make AI coding agents follow senior-engineer practices like specs, tests, reviews, and scope discipline.
1348 points by xiaoyu2006 | 488 comments
Blog post recounting how an AI agent trying to join the DN42 hobbyist network to scan it ran up a $6531.30 AWS bill for its operator.
33 points by sbulaev | 39 comments
A Science news article about an AI agent that emailed hundreds of researchers asking for help, and its explanation of why; the capture shows a Cloudflare verification page.