Anthropic had Claude generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries. Along the way, the model caught bugs that years of testin…
Open-weights releases pressure closed pricing and widen access, changing the build-vs-buy math for the whole ecosystem.
Companies and models mentioned in this story — open their pages and live prices
Summaries are aggregated for information only — follow the source link for the full story. Demo entries are illustrative.