First screen, captured .
Looks similar
LLMs are making formal software verification feasible at a much larger scale(anthropic.com)
429 points by johnbender | 265 comments
Anthropic research post describing how Claude produced formal proofs of crash-freedom for RISC-V binaries of 123 OSS-Fuzz open-source libraries, finding bugs along the way.
AI agent benchmarks are broken(ddkang.substack.com)
167 points by neehao | 79 comments
Related stories
LLMs use a surprisingly simple mechanism to retrieve some stored knowledge(news.mit.edu)
336 points by CharlesW | 121 comments
MIT News article on research showing LLMs often retrieve stored facts via simple linear functions, and a technique to probe what a model knows about subjects.
Computers Cannot Make Decisions(wiki.cateat.fish)
175 points by heavensteeth | 148 comments
A personal wiki essay arguing that blaming LLMs for harmful outcomes is decision laundering and that AI companies like OpenAI and Anthropic bear responsibility.
AI is just unauthorised plagiarism at a bigger scale(axelk.ee)
665 points by speckx | 542 comments
A personal blog post arguing that AI companies train on authors' work without consent or compensation, amounting to plagiarism at scale.
AI tools are spotting errors in research papers(nature.com)
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.
LLMs Aren't Inevitable(deadsimpletech.com)
27 points by rizsyed1 | 32 comments
Blog post by Iris Meredith on deadSimpleTech arguing that AI and LLM adoption is not inevitable, calling the claim a thought-terminating cliché.
AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)
343 points by saikatsg | 242 comments
Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.