@s_batzoglou
Probably the most important AI-in-math paper to date https://t.co/P8gxSg6N0k
🐦 Twitter Post Details
Viewing enriched Twitter post
📊 Media Metadata
{
"media": [
{
"type": "photo",
"url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/2058531794983469250/media_0.png",
"filename": "media_0.png"
},
{
"type": "photo",
"url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/2058531794983469250/media_1.png",
"filename": "media_1.png"
}
],
"processed_at": "2026-06-16T11:16:33.259289",
"pipeline_version": "2.0"
}🔧 Raw API Response
{
"type": "tweet",
"id": "2058531794983469250",
"url": "https://x.com/s_batzoglou/status/2058531794983469250",
"twitterUrl": "https://twitter.com/s_batzoglou/status/2058531794983469250",
"text": "Probably the most important AI-in-math paper to date https://t.co/P8gxSg6N0k",
"source": "Twitter for iPhone",
"retweetCount": 3,
"replyCount": 2,
"likeCount": 22,
"quoteCount": 1,
"viewCount": 4185,
"createdAt": "Sun May 24 12:53:20 +0000 2026",
"lang": "en",
"bookmarkCount": 10,
"isReply": false,
"inReplyToId": null,
"conversationId": "2058531794983469250",
"displayTextRange": [
0,
52
],
"inReplyToUserId": null,
"inReplyToUsername": null,
"author": {
"type": "user",
"userName": "s_batzoglou",
"url": "https://x.com/s_batzoglou",
"twitterUrl": "https://twitter.com/s_batzoglou",
"id": "1518735949458378752",
"name": "Serafim Batzoglou",
"isVerified": false,
"isBlueVerified": true,
"verifiedType": null,
"profilePicture": "https://pbs.twimg.com/profile_images/1518736918527152128/hV7H_k58_normal.jpg",
"coverPicture": "https://pbs.twimg.com/profile_banners/1518735949458378752/1731329061",
"description": "Genomics-computation-ML-biotech-foundations of math-philosophy of mind; CDO @seer_bio; former prof @StanfordAILab; cofounder @dnanexus; opinions entirely my own",
"location": "San Francisco and Miami",
"followers": 3130,
"following": 858,
"status": "",
"canDm": false,
"canMediaTag": true,
"createdAt": "Mon Apr 25 23:37:36 +0000 2022",
"entities": {
"description": {}
},
"fastFollowersCount": 0,
"favouritesCount": 46041,
"hasCustomTimelines": true,
"isTranslator": false,
"mediaCount": 298,
"statusesCount": 6199,
"withheldInCountries": [],
"affiliatesHighlightedLabel": {},
"possiblySensitive": false,
"pinnedTweetIds": [],
"profile_bio": {},
"isAutomated": false,
"automatedBy": null
},
"extendedEntities": {
"media": [
{
"allow_download_status": {
"allow_download": true
},
"display_url": "pic.x.com/P8gxSg6N0k",
"expanded_url": "https://x.com/s_batzoglou/status/2058531794983469250/photo/1",
"ext_media_availability": {
"status": "Available"
},
"features": {
"large": {
"faces": []
},
"medium": {
"faces": []
},
"orig": {
"faces": []
},
"small": {
"faces": []
}
},
"id_str": "2058531736976306176",
"indices": [
53,
76
],
"media_key": "3_2058531736976306176",
"media_results": {
"result": {
"media_key": "3_2058531736976306176"
}
},
"media_url_https": "https://pbs.twimg.com/media/HJFftU1XMAAZa2x.png",
"original_info": {
"focus_rects": [
{
"h": 907,
"w": 1620,
"x": 0,
"y": 0
},
{
"h": 986,
"w": 986,
"x": 0,
"y": 0
},
{
"h": 986,
"w": 865,
"x": 0,
"y": 0
},
{
"h": 986,
"w": 493,
"x": 0,
"y": 0
},
{
"h": 986,
"w": 1620,
"x": 0,
"y": 0
}
],
"height": 986,
"width": 1620
},
"sizes": {
"large": {
"h": 986,
"resize": "fit",
"w": 1620
},
"medium": {
"h": 730,
"resize": "fit",
"w": 1200
},
"small": {
"h": 414,
"resize": "fit",
"w": 680
},
"thumb": {
"h": 150,
"resize": "crop",
"w": 150
}
},
"type": "photo",
"url": "https://t.co/P8gxSg6N0k"
}
]
},
"card": null,
"place": {},
"entities": {
"media": [
{
"allow_download_status": {
"allow_download": true
},
"display_url": "pic.x.com/P8gxSg6N0k",
"expanded_url": "https://x.com/s_batzoglou/status/2058531794983469250/photo/1",
"ext_media_availability": {
"status": "Available"
},
"features": {
"large": {
"faces": []
},
"medium": {
"faces": []
},
"orig": {
"faces": []
},
"small": {
"faces": []
}
},
"id_str": "2058531736976306176",
"indices": [
53,
76
],
"media_key": "3_2058531736976306176",
"media_results": {
"result": {
"media_key": "3_2058531736976306176"
}
},
"media_url_https": "https://pbs.twimg.com/media/HJFftU1XMAAZa2x.png",
"original_info": {
"focus_rects": [
{
"h": 907,
"w": 1620,
"x": 0,
"y": 0
},
{
"h": 986,
"w": 986,
"x": 0,
"y": 0
},
{
"h": 986,
"w": 865,
"x": 0,
"y": 0
},
{
"h": 986,
"w": 493,
"x": 0,
"y": 0
},
{
"h": 986,
"w": 1620,
"x": 0,
"y": 0
}
],
"height": 986,
"width": 1620
},
"sizes": {
"large": {
"h": 986,
"resize": "fit",
"w": 1620
},
"medium": {
"h": 730,
"resize": "fit",
"w": 1200
},
"small": {
"h": 414,
"resize": "fit",
"w": 680
},
"thumb": {
"h": 150,
"resize": "crop",
"w": 150
}
},
"type": "photo",
"url": "https://t.co/P8gxSg6N0k"
}
]
},
"quoted_tweet": {
"type": "tweet",
"id": "2058390673347182909",
"url": "https://x.com/AcerFur/status/2058390673347182909",
"twitterUrl": "https://twitter.com/AcerFur/status/2058390673347182909",
"text": "I think this was lost in the noise of all the unit distance problem solve news!\n\nPaper from DeepMind: https://t.co/7znEmLg0Dz",
"source": "Twitter for iPhone",
"retweetCount": 56,
"replyCount": 10,
"likeCount": 418,
"quoteCount": 5,
"viewCount": 47633,
"createdAt": "Sun May 24 03:32:34 +0000 2026",
"lang": "en",
"bookmarkCount": 255,
"isReply": false,
"inReplyToId": null,
"conversationId": "2058390673347182909",
"displayTextRange": [
0,
125
],
"inReplyToUserId": null,
"inReplyToUsername": null,
"author": {
"type": "user",
"userName": "AcerFur",
"url": "https://x.com/AcerFur",
"twitterUrl": "https://twitter.com/AcerFur",
"id": "1233944124522455040",
"name": "Acer",
"isVerified": false,
"isBlueVerified": false,
"verifiedType": null,
"profilePicture": "https://pbs.twimg.com/profile_images/2046782031732842496/JFO-eylY_normal.jpg",
"coverPicture": "https://pbs.twimg.com/profile_banners/1233944124522455040/1771342953",
"description": "Furry pure maths student @Cambridge_Uni. | 🇬🇧🇵🇹 21 He/Him",
"location": "Cambridge, England",
"followers": 7308,
"following": 1618,
"status": "",
"canDm": true,
"canMediaTag": false,
"createdAt": "Sun Mar 01 02:36:26 +0000 2020",
"entities": {
"description": {}
},
"fastFollowersCount": 0,
"favouritesCount": 67003,
"hasCustomTimelines": false,
"isTranslator": false,
"mediaCount": 1199,
"statusesCount": 10910,
"withheldInCountries": [],
"affiliatesHighlightedLabel": {},
"possiblySensitive": false,
"pinnedTweetIds": [
"2065775359304380620"
],
"profile_bio": {},
"isAutomated": false,
"automatedBy": null
},
"extendedEntities": {},
"card": {
"binding_values": [
{
"key": "thumbnail_image",
"value": {
"image_value": {
"alt": "arXiv logo",
"height": 144,
"url": "https://pbs.twimg.com/card_img/2064175571806937089/88kWMd43?format=jpg&name=144x144_2",
"width": 144
},
"type": "IMAGE"
}
},
{
"key": "description",
"value": {
"string_value": "Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A mitigation is using LLMs to generate formal...",
"type": "STRING"
}
},
{
"key": "domain",
"value": {
"string_value": "arxiv.org",
"type": "STRING"
}
},
{
"key": "thumbnail_image_large",
"value": {
"image_value": {
"alt": "arXiv logo",
"height": 420,
"url": "https://pbs.twimg.com/card_img/2064175571806937089/88kWMd43?format=jpg&name=420x420_2",
"width": 420
},
"type": "IMAGE"
}
},
{
"key": "thumbnail_image_original",
"value": {
"image_value": {
"alt": "arXiv logo",
"height": 1000,
"url": "https://pbs.twimg.com/card_img/2064175571806937089/88kWMd43?format=jpg&name=orig",
"width": 1000
},
"type": "IMAGE"
}
},
{
"key": "site",
"value": {
"scribe_key": "publisher_id",
"type": "USER",
"user_value": {
"id_str": "808633423300624384",
"path": []
}
}
},
{
"key": "thumbnail_image_small",
"value": {
"image_value": {
"alt": "arXiv logo",
"height": 100,
"url": "https://pbs.twimg.com/card_img/2064175571806937089/88kWMd43?format=jpg&name=100x100_2",
"width": 100
},
"type": "IMAGE"
}
},
{
"key": "thumbnail_image_x_large",
"value": {
"image_value": {
"alt": "arXiv logo",
"height": 1000,
"url": "https://pbs.twimg.com/card_img/2064175571806937089/88kWMd43?format=png&name=2048x2048_2_exp",
"width": 1000
},
"type": "IMAGE"
}
},
{
"key": "thumbnail_image_alt_text",
"value": {
"string_value": "arXiv logo",
"type": "STRING"
}
},
{
"key": "vanity_url",
"value": {
"scribe_key": "vanity_url",
"string_value": "arxiv.org",
"type": "STRING"
}
},
{
"key": "thumbnail_image_color",
"value": {
"image_color_value": {
"palette": [
{
"percentage": 94.17,
"rgb": {
"blue": 255,
"green": 255,
"red": 255
}
},
{
"percentage": 4.33,
"rgb": {
"blue": 105,
"green": 116,
"red": 124
}
},
{
"percentage": 1.26,
"rgb": {
"blue": 46,
"green": 21,
"red": 170
}
},
{
"percentage": 0.23,
"rgb": {
"blue": 131,
"green": 116,
"red": 203
}
}
]
},
"type": "IMAGE_COLOR"
}
},
{
"key": "title",
"value": {
"string_value": "Advancing Mathematics Research with AI-Driven Formal Proof Search",
"type": "STRING"
}
},
{
"key": "card_url",
"value": {
"scribe_key": "card_url",
"string_value": "https://t.co/7znEmLg0Dz",
"type": "STRING"
}
}
],
"card_platform": {
"platform": {
"audience": {
"name": "production"
},
"device": {
"name": "Swift",
"version": "12"
}
}
},
"name": "summary",
"url": "https://t.co/7znEmLg0Dz",
"user_refs_results": [
{
"result": {
"__typename": "User",
"affiliates_highlighted_label": {},
"has_graduated_access": true,
"id": "VXNlcjo4MDg2MzM0MjMzMDA2MjQzODQ=",
"is_blue_verified": false,
"legacy": {
"blocked_by": false,
"blocking": false,
"can_dm": true,
"can_media_tag": true,
"created_at": "Tue Dec 13 11:23:26 +0000 2016",
"default_profile": false,
"default_profile_image": false,
"description": "News from https://t.co/enurGFxpcS, a free distribution service and an open archive for scholarly articles.\n\nFor help with arXiv, see https://t.co/LcWuhM0BOl",
"entities": {
"description": {
"urls": [
{
"display_url": "arXiv.org",
"expanded_url": "http://arXiv.org",
"indices": [
10,
33
],
"url": "https://t.co/enurGFxpcS"
},
{
"display_url": "arxiv.org/help",
"expanded_url": "https://arxiv.org/help",
"indices": [
133,
156
],
"url": "https://t.co/LcWuhM0BOl"
}
]
},
"url": {
"urls": [
{
"display_url": "arxiv.org",
"expanded_url": "https://arxiv.org/",
"indices": [
0,
23
],
"url": "https://t.co/DHMkdi4lF9"
}
]
}
},
"fast_followers_count": 0,
"favourites_count": 982,
"follow_request_sent": false,
"followed_by": false,
"followers_count": 48469,
"following": false,
"friends_count": 184,
"has_custom_timelines": false,
"is_translator": false,
"listed_count": 536,
"location": "Ithaca, NY",
"media_count": 118,
"muting": false,
"name": "arXiv.org",
"needs_phone_verification": false,
"normal_followers_count": 48469,
"notifications": false,
"possibly_sensitive": false,
"profile_banner_url": "https://pbs.twimg.com/profile_banners/808633423300624384/1481635469",
"profile_image_url_https": "https://pbs.twimg.com/profile_images/1365352170267299840/IzvjKckL_normal.jpg",
"profile_interstitial_type": "",
"protected": false,
"screen_name": "arxiv",
"statuses_count": 1131,
"time_zone": "",
"translator_type": "none",
"url": "https://t.co/DHMkdi4lF9",
"utc_offset": 0,
"verified": false,
"want_retweets": false,
"withheld_description": "",
"withheld_scope": ""
},
"parody_commentary_fan_label": "None",
"profile_image_shape": "Circle",
"rest_id": "808633423300624384",
"super_follow_eligible": false,
"super_followed_by": false,
"super_following": false,
"tipjar_settings": {}
}
}
]
},
"place": {},
"entities": {
"urls": [
{
"display_url": "arxiv.org/abs/2605.22763…",
"expanded_url": "https://arxiv.org/abs/2605.22763v1",
"indices": [
102,
125
],
"url": "https://t.co/7znEmLg0Dz"
}
]
},
"quoted_tweet": null,
"retweeted_tweet": null,
"article": null
},
"retweeted_tweet": null,
"article": null
}