Viewing enriched Twitter post
GPT o1 is impressive in logical derivations. Here are three examples I just tried it on. It succeeds in two, and miserably fails in another, slightly harder one. Still, very good. Specifically, it proves (1) x=y => y=x, (2) phi => phi, and fails in proving (3) phi => (not phi => psi). 1/2
{
"media": [
{
"url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/1850536590809985231/media_0.png",
"type": "photo",
"original_url": "https://pbs.twimg.com/media/Ga5tAewX0AEQPup.png",
"recovered_from_supabase": true
},
{
"url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/1850536590809985231/media_1.png",
"type": "photo",
"original_url": "https://pbs.twimg.com/media/Ga5tDG_WgAApkKP.png",
"recovered_from_supabase": true
},
{
"url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/1850536590809985231/media_2.png",
"type": "photo",
"original_url": "https://pbs.twimg.com/media/Ga5tF8aX0AAIa3m.png",
"recovered_from_supabase": true
},
{
"url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/1850536590809985231/media_3.png",
"type": "photo",
"original_url": "https://pbs.twimg.com/media/Ga5tIQPXoAENAlf.png",
"recovered_from_supabase": true
}
],
"conversion_date": "2025-08-13T00:26:50.441691",
"format_converted": true,
"original_structure": "had_media_only"
}{
"user": {
"created_at": "2022-04-25T23:37:36.000Z",
"default_profile_image": false,
"description": "Genomics-computation-ML-biotech-foundations of math-philosophy of mind; CDO @seer_bio; former prof @StanfordAILab; cofounder @dnanexus; opinions entirely my own",
"fast_followers_count": 0,
"favourites_count": 27107,
"followers_count": 2443,
"friends_count": 737,
"has_custom_timelines": true,
"is_translator": false,
"listed_count": 28,
"location": "San Francisco and Miami",
"media_count": 260,
"name": "Serafim Batzoglou",
"normal_followers_count": 2443,
"possibly_sensitive": false,
"profile_banner_url": "https://pbs.twimg.com/profile_banners/1518735949458378752/1731329061",
"profile_image_url_https": "https://pbs.twimg.com/profile_images/1518736918527152128/hV7H_k58_normal.jpg",
"screen_name": "s_batzoglou",
"statuses_count": 5122,
"translator_type": "none",
"verified": true,
"withheld_in_countries": [],
"id_str": "1518735949458378752"
},
"id": "1850536590809985231",
"conversation_id": "1850536590809985231",
"full_text": "GPT o1 is impressive in logical derivations. Here are three examples I just tried it on. It succeeds in two, and miserably fails in another, slightly harder one. Still, very good.\n\nSpecifically, it proves (1) x=y => y=x, (2) phi => phi, and fails in proving (3) phi => (not phi => psi). 1/2",
"reply_count": 3,
"retweet_count": 0,
"favorite_count": 3,
"hashtags": [],
"symbols": [],
"user_mentions": [],
"urls": [],
"media": [
{
"media_url": "https://pbs.twimg.com/media/Ga5tAewX0AEQPup.png",
"type": "photo"
},
{
"media_url": "https://pbs.twimg.com/media/Ga5tDG_WgAApkKP.png",
"type": "photo"
},
{
"media_url": "https://pbs.twimg.com/media/Ga5tF8aX0AAIa3m.png",
"type": "photo"
},
{
"media_url": "https://pbs.twimg.com/media/Ga5tIQPXoAENAlf.png",
"type": "photo"
}
],
"url": "https://twitter.com/s_batzoglou/status/1850536590809985231",
"created_at": "2024-10-27T13:54:39.000Z",
"#sort_index": "1850536590809985231",
"view_count": 479,
"quote_count": 0,
"is_quote_tweet": false,
"is_retweet": false,
"is_pinned": false,
"is_truncated": true,
"startUrl": "https://x.com/s_batzoglou/status/1850536590809985231"
}