Mirai Kansoku Shimbun
Text size

Text size is saved only in this browser.

Trending on XAI and software verification

Claude Code head says AI used Lean to check Agent SDK, producing 16 PRs

AI-generated concept of checking software properties with mathematical methods.

Free preview

At 8:39 a.m. Japan time on September 23, Boris Cherny, Anthropic’s head of Claude Code, said on X that short prompts to Claude Opus 5.5 led it to check the Claude Agent SDK with L…

Members only

Continue reading with membership

Read full news reports, our analysis, future scenarios and all member features.

¥980 per month, tax included

Join paid membership

Already subscribed? Sign in

Renews monthly. Cancel from My account. Terms

Members only

Continue reading with membership

Read full news reports, our analysis, future scenarios and all member features.

¥980 per month, tax included

Join paid membership

Already subscribed? Sign in

Renews monthly. Cancel from My account. Terms