{"story":{"id":1292525,"title":"アンソロピック、ClaudeでOSS123本を形式検証 約1億8000万行の証明で数百件のバグ発見（ビジネス＋IT） - Yahoo!ニュース","permalink":"https://checknews.org/historia.php?id=1292525","status":"quiet","category":"technology","country":"JP","country_name":"Japan","language":"ja","first_seen_at":"2026-10-23T17:45:06-06:00","last_activity_at":"2026-10-23T17:45:06-06:00","source_count":1,"article_count":1,"image":null,"articles":[{"title":"アンソロピック、ClaudeでOSS123本を形式検証 約1億8000万行の証明で数百件のバグ発見（ビジネス＋IT） - Yahoo!ニュース","publisher":"Yahoo!ニュース","url":"https://news.google.com/rss/articles/CBMif0FVX3lxTE1zOURCTGViNnRLUjVPNW1mTXM0U1c0RWRoOHZjN2s5N3o5LVNDbWUtS2tRR3RqQ3pXX04zVXRVVFNMMU4wZGJfaURZREcxQVZRaFVmazVoNmRDME1acHN0QmxOa3VzNjVPaWtfU0ZNbXhqNmk2TFBBUTY5UEI1YkE?oc=5","country":"JP","country_name":"Japan","language":"ja","published_at":"2026-10-23T17:45:06-06:00"}],"source_url":"https://news.google.com/rss/articles/CBMif0FVX3lxTE1zOURCTGViNnRLUjVPNW1mTXM0U1c0RWRoOHZjN2s5N3o5LVNDbWUtS2tRR3RqQ3pXX04zVXRVVFNMMU4wZGJfaURZREcxQVZRaFVmazVoNmRDME1acHN0QmxOa3VzNjVPaWtfU0ZNbXhqNmk2TFBBUTY5UEI1YkE?oc=5","publishers":[{"name":"Yahoo!ニュース","country":"JP","country_name":"Japan"}],"countries":["JP"]},"generated_at":"2026-11-06T20:46:22-06:00"}