未来観測新聞
文字サイズ

文字サイズは、このブラウザーにだけ保存します。

Xで話題AIとソフトの検査

Claude Code責任者、AIにLeanでSDKを検証させたと投稿 16件の修正案に反響

AIがコードの性質を数学的に確かめる様子を描いたAI生成イラスト。

無料で読める部分

9月23日午前8時39分(日本時間)、AnthropicでClaude Codeを率いるBoris Cherny氏はXに、Claude Opus 5.5へ短い…

有料会員限定

続きは有料会員で読めます

ニュースの全文・本紙の考察・未来の予想と、会員向け特集が読み放題。

月額980円(税込)

有料会員登録へ進む

登録済みの方はログイン

毎月自動更新。マイページから解約できます。 販売条件

有料会員限定

続きは有料会員で読めます

ニュースの全文・本紙の考察・未来の予想と、会員向け特集が読み放題。

月額980円(税込)

有料会員登録へ進む

登録済みの方はログイン

毎月自動更新。マイページから解約できます。 販売条件