{"id":"nr-unconfirmed-posts-say-claude-helped-verify-123-open-source-6dd32a","slug":"unconfirmed-posts-say-claude-helped-verify-123-open-source-6dd32a","type":"post","title":"Unconfirmed: Posts Say Claude Helped Verify 123 Open-Source Libraries","description":"Posts on X describe Anthropic and Theorem using Claude for large-scale formal verification, but New Runtime has not found an official statement from the company.","published_at":"2026-10-23","updated_at":"2026-10-23","record_date":"2026-10-23","date_kind":"published_at","topics":["rumors","ai-products"],"source_url":"https://www.anthropic.com/research/formal-verification","source_urls":["https://www.anthropic.com/research/formal-verification","https://x.com/_TomHoward/status/2113505554895401078","https://x.com/AGTPinsights/status/2113523680462676198","https://x.com/aka_ssy/status/2113482885865021590"],"verification_level":"unconfirmed-social-corroboration","schema_version":"newruntime-agent-readable-v0.2","stable_id":"post:unconfirmed-posts-say-claude-helped-verify-123-open-source-6dd32a","retrieval_nugget":"Posts on X describe Anthropic and Theorem using Claude for large-scale formal verification, but New Runtime has not found an official statement from the company.","status":"published","visuals":[],"editor":{"role":"editor","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"routes":{"html":"https://newruntime.com/posts/unconfirmed-posts-say-claude-helped-verify-123-open-source-6dd32a/","markdown":"https://newruntime.com/posts/unconfirmed-posts-say-claude-helped-verify-123-open-source-6dd32a.md","json":"https://newruntime.com/posts/unconfirmed-posts-say-claude-helped-verify-123-open-source-6dd32a.json"},"related_patterns":["scientific-agents-need-artifact-evidence"],"next_reads":[{"type":"topic","path":"/topics/rumors/","url":"https://newruntime.com/topics/rumors/","title":"Rumors","reason":"Explore the rumors topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/rumors.md","json_url":"https://newruntime.com/topics/rumors.json"},{"type":"topic","path":"/topics/ai-products/","url":"https://newruntime.com/topics/ai-products/","title":"Ai Products","reason":"Explore the ai-products topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/ai-products.md","json_url":"https://newruntime.com/topics/ai-products.json"},{"type":"collection","path":"/posts/","url":"https://newruntime.com/posts/","title":"Field Notes","reason":"Open the latest editorial analysis.","media_type":"text/html","json_url":"https://newruntime.com/posts.json"},{"type":"collection","path":"/source-ledger.json","url":"https://newruntime.com/source-ledger.json","title":"Source Ledger","reason":"Inspect the public source evidence graph.","media_type":"application/json"}]}