Viewing enriched Twitter post
Like @davidbessis and others, I think that Hinton is wrong. To explain why, let me tell you a brief story. About a decade ago, in 2017, I developed an automated theorem-proving framework that was ultimately integrated into Mathematica (see: https://t.co/nGCIUk44TP) (1/15)
{
"media": [
{
"url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/2009602836997505255/media_0.jpg?",
"media_url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/2009602836997505255/media_0.jpg?",
"type": "photo",
"filename": "media_0.jpg"
}
],
"processed_at": "2026-01-18T17:30:32.988519",
"pipeline_version": "2.0"
}{
"type": "tweet",
"id": "2009602836997505255",
"url": "https://x.com/getjonwithit/status/2009602836997505255",
"twitterUrl": "https://twitter.com/getjonwithit/status/2009602836997505255",
"text": "Like @davidbessis and others, I think that Hinton is wrong. To explain why, let me tell you a brief story.\n\nAbout a decade ago, in 2017, I developed an automated theorem-proving framework that was ultimately integrated into Mathematica (see: https://t.co/nGCIUk44TP) (1/15)",
"source": "Twitter for iPhone",
"retweetCount": 445,
"replyCount": 128,
"likeCount": 2425,
"quoteCount": 152,
"viewCount": 723533,
"createdAt": "Fri Jan 09 12:27:07 +0000 2026",
"lang": "en",
"bookmarkCount": 1908,
"isReply": false,
"inReplyToId": null,
"conversationId": "2009602836997505255",
"displayTextRange": [
0,
273
],
"inReplyToUserId": null,
"inReplyToUsername": null,
"author": {
"type": "user",
"userName": "getjonwithit",
"url": "https://x.com/getjonwithit",
"twitterUrl": "https://twitter.com/getjonwithit",
"id": "958374804",
"name": "Jonathan Gorard",
"isVerified": false,
"isBlueVerified": false,
"verifiedType": null,
"profilePicture": "https://pbs.twimg.com/profile_images/1330192676222865414/mhhuGgKB_normal.jpg",
"coverPicture": "https://pbs.twimg.com/profile_banners/958374804/1589151754",
"description": "",
"location": "Princeton, NJ",
"followers": 43664,
"following": 18,
"status": "",
"canDm": true,
"canMediaTag": true,
"createdAt": "Mon Nov 19 20:06:02 +0000 2012",
"entities": {
"description": {
"urls": []
},
"url": {}
},
"fastFollowersCount": 0,
"favouritesCount": 1301,
"hasCustomTimelines": true,
"isTranslator": false,
"mediaCount": 220,
"statusesCount": 1641,
"withheldInCountries": [],
"affiliatesHighlightedLabel": {},
"possiblySensitive": false,
"pinnedTweetIds": [],
"profile_bio": {
"description": "Applied mathematician, computational physicist @Princeton\nPreviously @Cambridge_Uni\nMaking the universe computable.",
"entities": {
"description": {
"user_mentions": [
{
"id_str": "0",
"indices": [
47,
57
],
"name": "",
"screen_name": "Princeton"
},
{
"id_str": "0",
"indices": [
69,
83
],
"name": "",
"screen_name": "Cambridge_Uni"
}
]
}
}
},
"isAutomated": false,
"automatedBy": null
},
"extendedEntities": {},
"card": {
"binding_values": [
{
"key": "player_url",
"value": {
"string_value": "https://www.youtube.com/embed/mMaid2jYeEo"
}
},
{
"key": "player_image_large",
"value": {
"image_value": {
"height": 320,
"url": "https://pbs.twimg.com/card_img/2009639138967040000/YAmxDA4u?format=jpg&name=800x320_1",
"width": 569
}
}
},
{
"key": "player_image",
"value": {
"image_value": {
"height": 158,
"url": "https://pbs.twimg.com/card_img/2009639138967040000/YAmxDA4u?format=jpg&name=280x280",
"width": 280
}
}
},
{
"key": "app_star_rating",
"value": {
"string_value": "4.67852"
}
},
{
"key": "description",
"value": {
"string_value": "Jonathan Gorard"
}
},
{
"key": "player_width",
"value": {
"string_value": "1280"
}
},
{
"key": "domain",
"value": {
"string_value": "www.youtube.com"
}
},
{
"key": "app_is_free",
"value": {
"string_value": "true"
}
},
{
"key": "site",
"value": {
"scribe_key": "publisher_id",
"user_value": {
"id_str": "10228272"
}
}
},
{
"key": "player_image_original",
"value": {
"image_value": {
"height": 720,
"url": "https://pbs.twimg.com/card_img/2009639138967040000/YAmxDA4u?format=jpg&name=orig",
"width": 1280
}
}
},
{
"key": "app_url_resolved",
"value": {
"string_value": "vnd.youtube://www.youtube.com/watch?v=mMaid2jYeEo&feature=applinks"
}
},
{
"key": "app_num_ratings",
"value": {
"string_value": "45,498,059"
}
},
{
"key": "app_price_amount",
"value": {
"string_value": "0.0"
}
},
{
"key": "player_height",
"value": {
"string_value": "720"
}
},
{
"key": "vanity_url",
"value": {
"scribe_key": "vanity_url",
"string_value": "youtube.com"
}
},
{
"key": "app_name",
"value": {
"string_value": "YouTube"
}
},
{
"key": "app_id",
"value": {
"scribe_key": "publisher_app_id",
"string_value": "544007664"
}
},
{
"key": "player_image_small",
"value": {
"image_value": {
"height": 81,
"url": "https://pbs.twimg.com/card_img/2009639138967040000/YAmxDA4u?format=jpg&name=144x144",
"width": 144
}
}
},
{
"key": "title",
"value": {
"string_value": "Automated Theorem Proving and Axiomatic Mathematics"
}
},
{
"key": "app_price_currency",
"value": {
"string_value": "USD"
}
},
{
"key": "app_url",
"value": {
"string_value": "https://t.co/redirect?url=vnd.youtube%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DmMaid2jYeEo%26feature%3Dapplinks&sig=999f30c88b1ed0718d37fcf5bb1aa03e177be960&ssr=true&slug=nGCIUk44TP"
}
},
{
"key": "card_url",
"value": {
"scribe_key": "card_url",
"string_value": "https://t.co/nGCIUk44TP"
}
},
{
"key": "player_image_color",
"value": {
"image_color_value": {
"palette": [
{
"percentage": 97.78,
"rgb": {
"blue": 251,
"green": 255,
"red": 250
}
},
{
"percentage": 1.75,
"rgb": {
"blue": 218,
"green": 179,
"red": 169
}
},
{
"percentage": 0.28,
"rgb": {
"blue": 141,
"green": 142,
"red": 142
}
},
{
"percentage": 0.18,
"rgb": {
"blue": 194,
"green": 222,
"red": 236
}
}
]
}
}
},
{
"key": "player_image_x_large",
"value": {
"image_value": {
"height": 720,
"url": "https://pbs.twimg.com/card_img/2009639138967040000/YAmxDA4u?format=png&name=2048x2048_2_exp",
"width": 1280
}
}
}
],
"card_platform": {
"platform": {
"audience": {
"name": "production"
},
"device": {
"name": "iPhone",
"version": "13"
}
}
},
"name": "player",
"url": "https://t.co/nGCIUk44TP",
"user_refs_results": [
{
"rest_id": "10228272",
"result": {
"__typename": "User",
"action_counts": {
"favorites_count": 6030
},
"avatar": {
"image_url": "https://pbs.twimg.com/profile_images/1984471345854566400/5pd8GpgC_normal.jpg"
},
"banner": {
"image_url": "https://pbs.twimg.com/profile_banners/10228272/1764705659"
},
"core": {
"created_at": "Tue Nov 13 21:43:46 +0000 2007",
"name": "YouTube",
"screen_name": "YouTube"
},
"dm_permissions": {
"can_dm": false
},
"exclusive_tweet_following": false,
"identity_profile_labels_highlighted_label": {},
"location": {
"location": "San Bruno, CA"
},
"media_permissions": {
"can_media_tag": true
},
"notifications_settings": {},
"pinned_items": {},
"privacy": {},
"private_super_following": false,
"profile_bio": {
"description": "like & subscribe",
"entities": {
"description": {},
"url": {
"urls": [
{
"display_url": "youtube.com/recap",
"expanded_url": "http://youtube.com/recap",
"indices": [
0,
23
],
"url": "https://t.co/URnyVVv35T"
}
]
}
}
},
"profile_image_shape": "Square",
"profile_metadata": {
"profile_interstitial_type": "",
"profile_link_color": "C9191D"
},
"profile_translation": {
"translator_type_enum": "Regular"
},
"properties": {
"has_extended_profile": false
},
"relationship_counts": {
"followers": 68033282,
"following": 1144
},
"relationship_perspectives": {},
"rest_id": "10228272",
"super_follow_eligible": false,
"super_followed_by": false,
"super_following": false,
"tweet_counts": {
"media_tweets": 16067,
"tweets": 60611
},
"website": {
"url": "https://t.co/URnyVVv35T"
},
"verification": {
"is_blue_verified": true,
"verified_type": "Business"
}
}
}
]
},
"place": {},
"entities": {
"urls": [
{
"display_url": "youtube.com/watch?v=mMaid2ā¦",
"expanded_url": "https://www.youtube.com/watch?v=mMaid2jYeEo",
"indices": [
242,
265
],
"url": "https://t.co/nGCIUk44TP"
}
],
"user_mentions": [
{
"id_str": "467788556",
"indices": [
5,
17
],
"name": "David Bessis",
"screen_name": "davidbessis"
}
]
},
"quoted_tweet": {
"type": "tweet",
"id": "2008143490429948152",
"url": "https://x.com/vitrupo/status/2008143490429948152",
"twitterUrl": "https://twitter.com/vitrupo/status/2008143490429948152",
"text": "Geoffrey Hinton says mathematics is a closed system, so AIs can play it like a game.\n\nThey can pose problems to themselves, test proofs, and learn from what works, without relying on human examples.\n\nāI think AI will get much better at mathematics than people, maybe in the next 10 years or so.ā",
"source": "Twitter for iPhone",
"retweetCount": 210,
"replyCount": 198,
"likeCount": 1787,
"quoteCount": 66,
"viewCount": 765374,
"createdAt": "Mon Jan 05 11:48:12 +0000 2026",
"lang": "en",
"bookmarkCount": 679,
"isReply": false,
"inReplyToId": null,
"conversationId": "2008143490429948152",
"displayTextRange": [
0,
303
],
"inReplyToUserId": null,
"inReplyToUsername": null,
"author": {
"type": "user",
"userName": "vitrupo",
"url": "https://x.com/vitrupo",
"twitterUrl": "https://twitter.com/vitrupo",
"id": "1371310867346681858",
"name": "vitrupo",
"isVerified": false,
"isBlueVerified": true,
"verifiedType": null,
"profilePicture": "https://pbs.twimg.com/profile_images/1905435709407985666/RfAHID81_normal.jpg",
"coverPicture": "https://pbs.twimg.com/profile_banners/1371310867346681858/1750954129",
"description": "",
"location": "liminal space",
"followers": 33193,
"following": 861,
"status": "",
"canDm": true,
"canMediaTag": true,
"createdAt": "Mon Mar 15 04:04:06 +0000 2021",
"entities": {
"description": {
"urls": []
},
"url": {}
},
"fastFollowersCount": 0,
"favouritesCount": 7780,
"hasCustomTimelines": true,
"isTranslator": false,
"mediaCount": 2031,
"statusesCount": 4981,
"withheldInCountries": [],
"affiliatesHighlightedLabel": {},
"possiblySensitive": false,
"pinnedTweetIds": [],
"profile_bio": {
"description": "AGI, minds, systems, meaning, intelligence.",
"entities": {
"description": {},
"url": {
"urls": [
{
"display_url": "buymeacoffee.com/vitrupo",
"expanded_url": "https://buymeacoffee.com/vitrupo",
"indices": [
0,
23
],
"url": "https://t.co/Rug1eacGl5"
}
]
}
}
},
"isAutomated": false,
"automatedBy": null
},
"extendedEntities": {
"media": [
{
"additional_media_info": {
"monetizable": false
},
"allow_download_status": {
"allow_download": true
},
"display_url": "pic.twitter.com/QP9ExWwjq8",
"expanded_url": "https://twitter.com/vitrupo/status/2008143490429948152/video/1",
"ext_media_availability": {
"status": "Available"
},
"id_str": "2008143429851897856",
"indices": [
304,
327
],
"media_key": "13_2008143429851897856",
"media_results": {
"id": "QXBpTWVkaWFSZXN1bHRzOgwABAoAARveW89SW2AAAAA=",
"result": {
"__typename": "ApiMedia",
"id": "QXBpTWVkaWE6DAAECgABG95bz1JbYAAAAA==",
"media_key": "13_2008143429851897856"
}
},
"media_url_https": "https://pbs.twimg.com/amplify_video_thumb/2008143429851897856/img/xJrb2D3eBxzuBraT.jpg",
"original_info": {
"focus_rects": [],
"height": 720,
"width": 960
},
"sizes": {
"large": {
"h": 720,
"w": 960
}
},
"type": "video",
"url": "https://t.co/QP9ExWwjq8",
"video_info": {
"aspect_ratio": [
4,
3
],
"duration_millis": 87921,
"variants": [
{
"content_type": "application/x-mpegURL",
"url": "https://video.twimg.com/amplify_video/2008143429851897856/pl/RXX2aI3a5tGVCctW.m3u8?tag=21&v=9f3"
},
{
"bitrate": 256000,
"content_type": "video/mp4",
"url": "https://video.twimg.com/amplify_video/2008143429851897856/vid/avc1/360x270/4xEtriLAR3xb_Yp-.mp4?tag=21"
},
{
"bitrate": 832000,
"content_type": "video/mp4",
"url": "https://video.twimg.com/amplify_video/2008143429851897856/vid/avc1/480x360/5A3JiGYcYIjQa2WK.mp4?tag=21"
},
{
"bitrate": 2176000,
"content_type": "video/mp4",
"url": "https://video.twimg.com/amplify_video/2008143429851897856/vid/avc1/960x720/nXHFZSkhayKO6npA.mp4?tag=21"
}
]
}
}
]
},
"card": null,
"place": {},
"entities": {},
"quoted_tweet": null,
"retweeted_tweet": null,
"isLimitedReply": false,
"article": null
},
"retweeted_tweet": null,
"isLimitedReply": false,
"article": null
}