Anthropic says Claude can now help formally verify software at scale. Bugs use… · @swordBluesy · TwKit

@swordBluesy

Anthropic says Claude can now help formally verify software at scale. Bugs used to be found by users at 3am; soon the proof checker gets there first. Curious how many verified lines per dollar.

曝光 14 · 评论 0 · 点赞 0 · 书签 0