Claude-Shaped Science(anthropic.com)

14 points by famouswaffles 24 days ago | 3 comments

An Anthropic research post titled "Claude-shaped science" on how its Claude AI model is being applied to scientific work.

Learning more about Claude's mathematical capabilities(anthropic.com)

243 points by tosh 2 months ago | 152 comments

Claude Sonnet 4.5(anthropic.com)

1503 points by adocomplete 1 year ago | 746 comments

Anthropic's announcement post introducing Claude Sonnet 4.5, its new AI model, dated September 29, 2025.

Making Claude a Chemist(anthropic.com)

68 points by gmays 4 months ago | 64 comments

Claude discovers a novel enzyme system with CRISPR-like repeats(anthropic.com)

740 points by raahelb 1 month ago | 740 comments

Anthropic news post announcing that Claude helped discover a novel enzyme system featuring CRISPR-like repeats.

Claude Fable 5.1 and Claude Mythos 5.1(anthropic.com)

49 points by meetpateltech 1 month ago | 5 comments

Fermat's Last Theorem – how it’s going(xenaproject.wordpress.com)

422 points by verbify 1 year ago | 206 comments

Kevin Buzzard's Xena Project blog post giving a progress update on formalizing the proof of Fermat's Last Theorem in the Lean theorem prover.

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples(github.com)

20 points by tootie 19 days ago | 6 comments

GitHub directory in OpenAI's math repository containing hundreds of preprints of mathematical proofs and counterexamples.

Formal methods and the future of programming(blog.janestreet.com)

322 points by eatonphil 4 months ago | 99 comments

Jane Street Blog post on formal methods and their role in the future of programming, illustrated with OCaml-style specification code.

LLMs are making formal software verification feasible at a much larger scale(anthropic.com)

429 points by johnbender 3 days ago | 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.

GPT-5.2 derives a new result in theoretical physics(openai.com)

545 points by davidbarker 8 months ago | 369 comments

OpenAI post announcing that GPT-5.2 derived a new result in theoretical physics; the captured page shows only a loading logo.

The Mathocalypse(scottaaronson.blog)

361 points by 6bitquant 18 days ago | 380 comments

Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.