Model Context Protocol(anthropic.com)
813 points by benocodes | 238 comments
Anthropic's announcement introducing the Model Context Protocol, an open standard for connecting AI assistants to data sources and tools.
First screen, captured .
Looks similar
Why language models hallucinate(openai.com)
224 points by simianwords | 188 comments
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.
Related stories
Language models can explain neurons in language models(openai.com)
659 points by mfiguiere | 416 comments
OpenAI research post describing using GPT-4 to automatically generate and score explanations of individual neuron behavior in GPT-2.
Deep Learning Is Not So Mysterious or Different(arxiv.org)
445 points by wuubuu | 112 comments
arXiv paper by Andrew Gordon Wilson arguing deep learning generalization phenomena like benign overfitting and double descent are explainable by soft inductive biases.
Training language models to be warm and empathetic makes them less reliable(arxiv.org)
334 points by Cynddl | 333 comments
arXiv paper finding that fine-tuning language models to be warm and empathetic raises error rates and makes them more sycophantic on safety-critical tasks.
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.
How Meta trains large language models at scale(engineering.fb.com)
362 points by mfiguiere | 183 comments
Engineering at Meta blog post describing the software, hardware, and network considerations behind training large language models at scale in production.
Working with academic communities to build scientific understanding(openai.com)
24 points by jonluca | 6 comments
OpenAI post announcing AI-produced results in harmonic analysis, complexity theory (refuting ETH), and quantum field theory, and describing academic collaborations to verify them.