Claude 2026/10/23 [FRI] Anthropic、123個のOSSを検証 1回に1億トークン超かかる AnthropicはClaudeでソフトにバグがないことを数学で証明する手法を開発し、123個のOSSで試した。証明できたのはRISC-VとLinuxの条件だけで、1回に1…
