{
  "type": "tweet",
  "id": "2113390212911083894",
  "url": "https://x.com/AnthropicAI/status/2113390212911083894",
  "twitterUrl": "https://twitter.com/AnthropicAI/status/2113390212911083894",
  "text": "New on our Frontier Red Team blog: using Claude to formally verify software at large scale.\n\nFormal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).\n\nWith AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.\n\nRead our research in full here: https://t.co/zUyx8CjBEk",
  "source": "",
  "retweetCount": 279,
  "replyCount": 244,
  "likeCount": 2986,
  "quoteCount": 161,
  "viewCount": 251297,
  "createdAt": "Thu Oct 22 22:01:06 +0000 2026",
  "lang": "en",
  "bookmarkCount": 1462,
  "isReply": false,
  "inReplyToId": null,
  "conversationId": "2113390212911083894",
  "displayTextRange": [
    0,
    273
  ],
  "inReplyToUserId": null,
  "inReplyToUsername": null,
  "author": {
    "type": "user",
    "userName": "AnthropicAI",
    "url": "https://x.com/AnthropicAI",
    "twitterUrl": "https://twitter.com/AnthropicAI",
    "id": "1353836358901501952",
    "name": "Anthropic",
    "isVerified": false,
    "isBlueVerified": true,
    "verifiedType": "Business",
    "profilePicture": "https://pbs.twimg.com/profile_images/1798110641414443008/XP8gyBaY_normal.jpg",
    "coverPicture": "https://pbs.twimg.com/profile_banners/1353836358901501952/1719228429",
    "description": "",
    "location": "",
    "followers": 1831635,
    "following": 2,
    "status": "",
    "canDm": false,
    "canMediaTag": true,
    "createdAt": "Mon Jan 25 22:45:28 +0000 2021",
    "entities": {
      "description": {
        "urls": []
      },
      "url": {}
    },
    "fastFollowersCount": 0,
    "favouritesCount": 1598,
    "hasCustomTimelines": true,
    "isTranslator": false,
    "mediaCount": 659,
    "statusesCount": 1732,
    "withheldInCountries": [],
    "affiliatesHighlightedLabel": {},
    "possiblySensitive": false,
    "pinnedTweetIds": [],
    "profile_bio": {
      "description": "We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.",
      "entities": {
        "description": {
          "urls": [
            {
              "display_url": "claude.ai",
              "expanded_url": "https://claude.ai",
              "indices": [
                141,
                164
              ],
              "url": "https://t.co/FhDI3KQh0n"
            }
          ],
          "user_mentions": [
            {
              "id_str": "",
              "indices": [
                128,
                137
              ],
              "name": "",
              "screen_name": "claudeai"
            }
          ]
        },
        "url": {
          "urls": [
            {
              "display_url": "anthropic.com",
              "expanded_url": "https://anthropic.com",
              "indices": [
                0,
                23
              ],
              "url": "https://t.co/w94SABjAXZ"
            }
          ]
        }
      }
    },
    "isAutomated": false,
    "automatedBy": null
  },
  "extendedEntities": {},
  "card": {
    "binding_values": [
      {
        "key": "photo_image_full_size_large",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 419,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=jpg&name=800x419",
            "width": 800
          }
        }
      },
      {
        "key": "thumbnail_image",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 147,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=jpg&name=280x150",
            "width": 280
          }
        }
      },
      {
        "key": "description",
        "value": {
          "string_value": "Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years."
        }
      },
      {
        "key": "domain",
        "value": {
          "string_value": "www.anthropic.com"
        }
      },
      {
        "key": "thumbnail_image_large",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 315,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=jpg&name=600x600",
            "width": 600
          }
        }
      },
      {
        "key": "summary_photo_image_small",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 202,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=jpg&name=386x202",
            "width": 386
          }
        }
      },
      {
        "key": "thumbnail_image_original",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 630,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=jpg&name=orig",
            "width": 1200
          }
        }
      },
      {
        "key": "site",
        "value": {
          "scribe_key": "publisher_id",
          "user_value": {
            "id_str": "1353836358901501952",
            "path": []
          }
        }
      },
      {
        "key": "photo_image_full_size_small",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 202,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=jpg&name=386x202",
            "width": 386
          }
        }
      },
      {
        "key": "summary_photo_image_large",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 419,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=jpg&name=800x419",
            "width": 800
          }
        }
      },
      {
        "key": "thumbnail_image_small",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 76,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=jpg&name=144x144",
            "width": 144
          }
        }
      },
      {
        "key": "creator",
        "value": {
          "user_value": {
            "id_str": "1353836358901501952",
            "path": []
          }
        }
      },
      {
        "key": "thumbnail_image_x_large",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 630,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=png&name=2048x2048_2_exp",
            "width": 1200
          }
        }
      },
      {
        "key": "photo_image_full_size_original",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 630,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=jpg&name=orig",
            "width": 1200
          }
        }
      },
      {
        "key": "photo_image_full_size_alt_text",
        "value": {
          "string_value": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them."
        }
      },
      {
        "key": "vanity_url",
        "value": {
          "scribe_key": "vanity_url",
          "string_value": "anthropic.com"
        }
      },
      {
        "key": "photo_image_full_size",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 314,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=jpg&name=600x314",
            "width": 600
          }
        }
      },
      {
        "key": "summary_photo_image_alt_text",
        "value": {
          "string_value": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them."
        }
      },
      {
        "key": "thumbnail_image_color",
        "value": {
          "image_color_value": {
            "palette": [
              {
                "percentage": 50.12,
                "rgb": {
                  "blue": 91,
                  "green": 132,
                  "red": 117
                }
              },
              {
                "percentage": 47.1,
                "rgb": {
                  "blue": 102,
                  "green": 109,
                  "red": 223
                }
              },
              {
                "percentage": 2.57,
                "rgb": {
                  "blue": 90,
                  "green": 97,
                  "red": 145
                }
              },
              {
                "percentage": 0.1,
                "rgb": {
                  "blue": 61,
                  "green": 161,
                  "red": 9
                }
              }
            ]
          }
        }
      },
      {
        "key": "title",
        "value": {
          "string_value": "Formally verifying real-world software with Claude"
        }
      },
      {
        "key": "summary_photo_image_color",
        "value": {
          "image_color_value": {
            "palette": [
              {
                "percentage": 50.12,
                "rgb": {
                  "blue": 91,
                  "green": 132,
                  "red": 117
                }
              },
              {
                "percentage": 47.1,
                "rgb": {
                  "blue": 102,
                  "green": 109,
                  "red": 223
                }
              },
              {
                "percentage": 2.57,
                "rgb": {
                  "blue": 90,
                  "green": 97,
                  "red": 145
                }
              },
              {
                "percentage": 0.1,
                "rgb": {
                  "blue": 61,
                  "green": 161,
                  "red": 9
                }
              }
            ]
          }
        }
      },
      {
        "key": "summary_photo_image_x_large",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 630,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=png&name=2048x2048_2_exp",
            "width": 1200
          }
        }
      },
      {
        "key": "summary_photo_image",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 314,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=jpg&name=600x314",
            "width": 600
          }
        }
      },
      {
        "key": "photo_image_full_size_color",
        "value": {
          "image_color_value": {
            "palette": [
              {
                "percentage": 50.12,
                "rgb": {
                  "blue": 91,
                  "green": 132,
                  "red": 117
                }
              },
              {
                "percentage": 47.1,
                "rgb": {
                  "blue": 102,
                  "green": 109,
                  "red": 223
                }
              },
              {
                "percentage": 2.57,
                "rgb": {
                  "blue": 90,
                  "green": 97,
                  "red": 145
                }
              },
              {
                "percentage": 0.1,
                "rgb": {
                  "blue": 61,
                  "green": 161,
                  "red": 9
                }
              }
            ]
          }
        }
      },
      {
        "key": "photo_image_full_size_x_large",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 630,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=png&name=2048x2048_2_exp",
            "width": 1200
          }
        }
      },
      {
        "key": "card_url",
        "value": {
          "scribe_key": "card_url",
          "string_value": "https://t.co/zUyx8CjBEk"
        }
      },
      {
        "key": "summary_photo_image_original",
        "value": {
          "image_value": {
            "alt": "Two-panel illustration: on a green background, two hand-drawn geometry diagrams of lettered circles with red-shaded shapes; on a red background, scattered grey dots with a single green dot among them.",
            "height": 630,
            "url": "https://pbs.twimg.com/card_img/2113388602734374913/g2XAdWD-?format=jpg&name=orig",
            "width": 1200
          }
        }
      }
    ],
    "card_platform": {
      "platform": {
        "audience": {
          "name": "production"
        },
        "device": {
          "name": "iPhone",
          "version": "13"
        }
      }
    },
    "name": "summary_large_image",
    "url": "https://t.co/zUyx8CjBEk",
    "user_refs_results": [
      {
        "rest_id": "1353836358901501952",
        "result": {
          "__typename": "User",
          "action_counts": {
            "favorites_count": 1598
          },
          "avatar": {
            "image_url": "https://pbs.twimg.com/profile_images/1798110641414443008/XP8gyBaY_normal.jpg"
          },
          "banner": {
            "image_url": "https://pbs.twimg.com/profile_banners/1353836358901501952/1719228429"
          },
          "core": {
            "created_at": "Mon Jan 25 22:45:28 +0000 2021",
            "name": "Anthropic",
            "screen_name": "AnthropicAI"
          },
          "dm_permissions": {
            "can_dm": false
          },
          "exclusive_tweet_following": false,
          "follow_request_sent": false,
          "identity_profile_labels_highlighted_label": {},
          "location": {
            "location": ""
          },
          "media_permissions": {
            "can_media_tag": true
          },
          "notifications_settings": {
            "notifications_enabled": false
          },
          "pinned_items": {},
          "privacy": {
            "protected": false,
            "suspended": false
          },
          "private_super_following": false,
          "profile_bio": {
            "description": "We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.",
            "entities": {
              "description": {
                "urls": [
                  {
                    "display_url": "claude.ai",
                    "expanded_url": "https://claude.ai",
                    "indices": [
                      141,
                      164
                    ],
                    "url": "https://t.co/FhDI3KQh0n"
                  }
                ],
                "user_mentions": [
                  {
                    "id_str": "",
                    "indices": [
                      128,
                      137
                    ],
                    "name": "",
                    "screen_name": "claudeai"
                  }
                ]
              },
              "url": {
                "urls": [
                  {
                    "display_url": "anthropic.com",
                    "expanded_url": "https://anthropic.com",
                    "indices": [
                      0,
                      23
                    ],
                    "url": "https://t.co/w94SABjAXZ"
                  }
                ]
              }
            }
          },
          "profile_image_shape": "Square",
          "profile_metadata": {
            "profile_interstitial_type": "",
            "profile_link_color": "1DA1F2"
          },
          "profile_translation": {
            "translator_type_enum": "None"
          },
          "properties": {
            "has_extended_profile": true,
            "has_no_screen_name": false
          },
          "relationship_counts": {
            "followers": 1831635,
            "following": 2
          },
          "relationship_perspectives": {
            "blocked_by": false,
            "blocking": false,
            "followed_by": false,
            "following": false,
            "live_following": false,
            "muting": false
          },
          "rest_id": "1353836358901501952",
          "smart_blocked_by": false,
          "smart_blocking": false,
          "super_follow_eligible": false,
          "super_followed_by": false,
          "super_following": false,
          "tweet_counts": {
            "media_tweets": 659,
            "tweets": 1732
          },
          "verification": {
            "is_blue_verified": true,
            "verified": false,
            "verified_type": "Business"
          },
          "website": {
            "url": "https://t.co/w94SABjAXZ"
          }
        }
      },
      {
        "rest_id": "1353836358901501952",
        "result": {
          "__typename": "User",
          "action_counts": {
            "favorites_count": 1598
          },
          "avatar": {
            "image_url": "https://pbs.twimg.com/profile_images/1798110641414443008/XP8gyBaY_normal.jpg"
          },
          "banner": {
            "image_url": "https://pbs.twimg.com/profile_banners/1353836358901501952/1719228429"
          },
          "core": {
            "created_at": "Mon Jan 25 22:45:28 +0000 2021",
            "name": "Anthropic",
            "screen_name": "AnthropicAI"
          },
          "dm_permissions": {
            "can_dm": false
          },
          "exclusive_tweet_following": false,
          "follow_request_sent": false,
          "identity_profile_labels_highlighted_label": {},
          "location": {
            "location": ""
          },
          "media_permissions": {
            "can_media_tag": true
          },
          "notifications_settings": {
            "notifications_enabled": false
          },
          "pinned_items": {},
          "privacy": {
            "protected": false,
            "suspended": false
          },
          "private_super_following": false,
          "profile_bio": {
            "description": "We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.",
            "entities": {
              "description": {
                "urls": [
                  {
                    "display_url": "claude.ai",
                    "expanded_url": "https://claude.ai",
                    "indices": [
                      141,
                      164
                    ],
                    "url": "https://t.co/FhDI3KQh0n"
                  }
                ],
                "user_mentions": [
                  {
                    "id_str": "",
                    "indices": [
                      128,
                      137
                    ],
                    "name": "",
                    "screen_name": "claudeai"
                  }
                ]
              },
              "url": {
                "urls": [
                  {
                    "display_url": "anthropic.com",
                    "expanded_url": "https://anthropic.com",
                    "indices": [
                      0,
                      23
                    ],
                    "url": "https://t.co/w94SABjAXZ"
                  }
                ]
              }
            }
          },
          "profile_image_shape": "Square",
          "profile_metadata": {
            "profile_interstitial_type": "",
            "profile_link_color": "1DA1F2"
          },
          "profile_translation": {
            "translator_type_enum": "None"
          },
          "properties": {
            "has_extended_profile": true,
            "has_no_screen_name": false
          },
          "relationship_counts": {
            "followers": 1831635,
            "following": 2
          },
          "relationship_perspectives": {
            "blocked_by": false,
            "blocking": false,
            "followed_by": false,
            "following": false,
            "live_following": false,
            "muting": false
          },
          "rest_id": "1353836358901501952",
          "smart_blocked_by": false,
          "smart_blocking": false,
          "super_follow_eligible": false,
          "super_followed_by": false,
          "super_following": false,
          "tweet_counts": {
            "media_tweets": 659,
            "tweets": 1732
          },
          "verification": {
            "is_blue_verified": true,
            "verified": false,
            "verified_type": "Business"
          },
          "website": {
            "url": "https://t.co/w94SABjAXZ"
          }
        }
      }
    ]
  },
  "place": {},
  "entities": {
    "hashtags": [],
    "symbols": [],
    "urls": [
      {
        "display_url": "anthropic.com/research/forma…",
        "expanded_url": "https://www.anthropic.com/research/formal-verification",
        "indices": [
          508,
          531
        ],
        "url": "https://t.co/zUyx8CjBEk"
      }
    ],
    "user_mentions": [
      {
        "id_str": "1923797944949669893",
        "indices": [
          334,
          346
        ],
        "name": "Theorem",
        "screen_name": "theoremlabs"
      }
    ]
  },
  "quoted_tweet": null,
  "retweeted_tweet": null,
  "isLimitedReply": false,
  "communityInfo": null,
  "article": null
}