未来観測新聞
AIAIモデルXで話題

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

この記事を共有

コードと状態の遷移図を照合して同時処理を検証する、ソフトウェア開発の想像図。
画像の権利情報
画像制作:未来観測新聞
9月23日午前8時39分(日本時間)、AnthropicでClaude Codeを率いるBoris Cherny氏は、Claude Opus 5.5でClaude Agent SDKを検証したとXに投稿しました。短い指示を出し、数学的な証明…

続きを読む

ニュース全文と本誌の考察を7日間無料で読めます。

初めて購読する方が対象です。無料期間終了後は月額980円(税込)で自動更新されます。終了前に解約すると料金はかかりません。

続きを読む

ニュース全文と本誌の考察を7日間無料で読めます。

初めて購読する方が対象です。無料期間終了後は月額980円(税込)で自動更新されます。終了前に解約すると料金はかかりません。