🐦 Twitter Post Details

Viewing enriched Twitter post

@prz_chojecki

A couple of people asked me how I did it, so here's the answer: Asking in ChatGPT (not codex, that's a different gpt-5.4) the GPT-5.4 Pro Extended Thinking to solve it. Now, here's a caveat: if you just put "Solve X" and X is an open problem that is easily searchable to be open (e.g. Erdos problem), you get nothing really, just a literature search. So to really force an LLM to think hard about it there are 2 methods: 1. Add "Don't search the internet, this is a test of your reasoning capabilities". Yeah, really. Add after that "Solve X" and it will give it a shot. The problem with that is it often tries to solve problems without searching for any kind of research, so it only works on simpler problems. 2. Add guidance "Solve X with method Y". Now this is really good is you have mathematical background, because you can find some good Y (assuming it's your domain), but you can also pick Y at random from doing a literature search first. now for the actual problem I solve here, I did 2., but with a caveat of running agents before hand. I have the full repo of Agentic Erdos: https://t.co/xegnXal7UT where I've run AI agents over ALL Erdos problems, basically doing basic compute, some arguments, some literature. So when I go to ChatGPT I can use that as a very specific prompt.

Media 1
View on Twitter

📊 Media Metadata

{
  "media": [
    {
      "url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/2044339425857900666/media_0.jpg",
      "media_url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/2044339425857900666/media_0.jpg",
      "type": "photo",
      "filename": "media_0.jpg"
    }
  ],
  "processed_at": "2026-04-15T15:45:48.990132",
  "pipeline_version": "2.0"
}

🔧 Raw API Response

{
  "type": "tweet",
  "id": "2044339425857900666",
  "url": "https://x.com/prz_chojecki/status/2044339425857900666",
  "twitterUrl": "https://twitter.com/prz_chojecki/status/2044339425857900666",
  "text": "A couple of people asked me how I did it, so here's the answer:\n\nAsking in ChatGPT (not codex, that's a different gpt-5.4) the GPT-5.4 Pro Extended Thinking to solve it. \n\nNow, here's a caveat: if you just put \"Solve X\" and X is an open problem that is easily searchable to be open (e.g. Erdos problem), you get nothing really, just a literature search. So to really force an LLM to think hard about it there are 2 methods:\n\n1. Add \"Don't search the internet, this is a test of your reasoning capabilities\". Yeah, really. Add after that \"Solve X\" and it will give it a shot. The problem with that is it often tries to solve problems without searching for any kind of research, so it only works on simpler problems.\n\n2. Add guidance \"Solve X with method Y\". Now this is really good is you have mathematical background, because you can find some good Y (assuming it's your domain), but you can also pick Y at random from doing a literature search first. \n\nnow for the actual problem I solve here, I did 2., but with a caveat of running agents before hand. \n\nI have the full repo of Agentic Erdos: https://t.co/xegnXal7UT \n\nwhere I've run AI agents over ALL Erdos problems, basically doing basic compute, some arguments, some literature. So when I go to ChatGPT I can use that as a very specific prompt.",
  "source": "Twitter for iPhone",
  "retweetCount": 31,
  "replyCount": 8,
  "likeCount": 253,
  "quoteCount": 3,
  "viewCount": 23301,
  "createdAt": "Wed Apr 15 08:57:55 +0000 2026",
  "lang": "en",
  "bookmarkCount": 186,
  "isReply": false,
  "inReplyToId": null,
  "conversationId": "2044339425857900666",
  "displayTextRange": [
    0,
    276
  ],
  "inReplyToUserId": null,
  "inReplyToUsername": null,
  "author": {
    "type": "user",
    "userName": "prz_chojecki",
    "url": "https://x.com/prz_chojecki",
    "twitterUrl": "https://twitter.com/prz_chojecki",
    "id": "719105586722402304",
    "name": "Przemek Chojecki | PC",
    "isVerified": false,
    "isBlueVerified": true,
    "verifiedType": null,
    "profilePicture": "https://pbs.twimg.com/profile_images/1595909528045977601/g_y0_WO7_normal.jpg",
    "coverPicture": "https://pbs.twimg.com/profile_banners/719105586722402304/1770666460",
    "description": "",
    "location": "#",
    "followers": 10219,
    "following": 1127,
    "status": "",
    "canDm": true,
    "canMediaTag": false,
    "createdAt": "Sun Apr 10 10:11:47 +0000 2016",
    "entities": {
      "description": {
        "urls": []
      },
      "url": {}
    },
    "fastFollowersCount": 0,
    "favouritesCount": 65120,
    "hasCustomTimelines": true,
    "isTranslator": false,
    "mediaCount": 2822,
    "statusesCount": 19153,
    "withheldInCountries": [],
    "affiliatesHighlightedLabel": {},
    "possiblySensitive": false,
    "pinnedTweetIds": [],
    "profile_bio": {
      "description": "AI Research Lab @ https://t.co/v2xNrVTykE, PhD in maths",
      "entities": {
        "description": {
          "hashtags": [],
          "symbols": [],
          "urls": [
            {
              "display_url": "ulam.ai",
              "expanded_url": "http://ulam.ai",
              "indices": [
                18,
                41
              ],
              "url": "https://t.co/v2xNrVTykE"
            }
          ],
          "user_mentions": []
        },
        "url": {
          "urls": [
            {
              "display_url": "github.com/ulamai/ulamai",
              "expanded_url": "https://github.com/ulamai/ulamai",
              "indices": [
                0,
                23
              ],
              "url": "https://t.co/6NCL4fAYOB"
            }
          ]
        }
      }
    },
    "isAutomated": false,
    "automatedBy": null
  },
  "extendedEntities": {},
  "card": {
    "binding_values": [
      {
        "key": "photo_image_full_size_large",
        "value": {
          "image_value": {
            "height": 419,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=jpg&name=800x419",
            "width": 800
          }
        }
      },
      {
        "key": "thumbnail_image",
        "value": {
          "image_value": {
            "height": 200,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=jpg&name=400x400",
            "width": 400
          }
        }
      },
      {
        "key": "description",
        "value": {
          "string_value": "Agentic workflow for tackling all open Erdos problems at once. - przchojecki/agentic-erdos"
        }
      },
      {
        "key": "domain",
        "value": {
          "string_value": "github.com"
        }
      },
      {
        "key": "thumbnail_image_large",
        "value": {
          "image_value": {
            "height": 300,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=jpg&name=600x600",
            "width": 600
          }
        }
      },
      {
        "key": "summary_photo_image_small",
        "value": {
          "image_value": {
            "height": 202,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=jpg&name=386x202",
            "width": 386
          }
        }
      },
      {
        "key": "thumbnail_image_original",
        "value": {
          "image_value": {
            "height": 600,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=jpg&name=orig",
            "width": 1200
          }
        }
      },
      {
        "key": "site",
        "value": {
          "scribe_key": "publisher_id",
          "user_value": {
            "id_str": "13334762",
            "path": []
          }
        }
      },
      {
        "key": "photo_image_full_size_small",
        "value": {
          "image_value": {
            "height": 202,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=jpg&name=386x202",
            "width": 386
          }
        }
      },
      {
        "key": "summary_photo_image_large",
        "value": {
          "image_value": {
            "height": 419,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=jpg&name=800x419",
            "width": 800
          }
        }
      },
      {
        "key": "thumbnail_image_small",
        "value": {
          "image_value": {
            "height": 72,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=jpg&name=144x144",
            "width": 144
          }
        }
      },
      {
        "key": "thumbnail_image_x_large",
        "value": {
          "image_value": {
            "height": 600,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=png&name=2048x2048_2_exp",
            "width": 1200
          }
        }
      },
      {
        "key": "photo_image_full_size_original",
        "value": {
          "image_value": {
            "height": 600,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=jpg&name=orig",
            "width": 1200
          }
        }
      },
      {
        "key": "photo_image_full_size_alt_text",
        "value": {
          "string_value": "Agentic workflow for tackling all open Erdos problems at once. - przchojecki/agentic-erdos"
        }
      },
      {
        "key": "vanity_url",
        "value": {
          "scribe_key": "vanity_url",
          "string_value": "github.com"
        }
      },
      {
        "key": "photo_image_full_size",
        "value": {
          "image_value": {
            "height": 314,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=jpg&name=600x314",
            "width": 600
          }
        }
      },
      {
        "key": "summary_photo_image_alt_text",
        "value": {
          "string_value": "Agentic workflow for tackling all open Erdos problems at once. - przchojecki/agentic-erdos"
        }
      },
      {
        "key": "thumbnail_image_color",
        "value": {
          "image_color_value": {
            "palette": [
              {
                "percentage": 91.8,
                "rgb": {
                  "blue": 255,
                  "green": 255,
                  "red": 255
                }
              },
              {
                "percentage": 3.1,
                "rgb": {
                  "blue": 90,
                  "green": 225,
                  "red": 241
                }
              },
              {
                "percentage": 2.98,
                "rgb": {
                  "blue": 122,
                  "green": 117,
                  "red": 113
                }
              },
              {
                "percentage": 1.59,
                "rgb": {
                  "blue": 158,
                  "green": 237,
                  "red": 247
                }
              },
              {
                "percentage": 0.21,
                "rgb": {
                  "blue": 80,
                  "green": 65,
                  "red": 66
                }
              }
            ]
          }
        }
      },
      {
        "key": "title",
        "value": {
          "string_value": "GitHub - przchojecki/agentic-erdos: Agentic workflow for tackling all open Erdos problems at once."
        }
      },
      {
        "key": "summary_photo_image_color",
        "value": {
          "image_color_value": {
            "palette": [
              {
                "percentage": 91.8,
                "rgb": {
                  "blue": 255,
                  "green": 255,
                  "red": 255
                }
              },
              {
                "percentage": 3.1,
                "rgb": {
                  "blue": 90,
                  "green": 225,
                  "red": 241
                }
              },
              {
                "percentage": 2.98,
                "rgb": {
                  "blue": 122,
                  "green": 117,
                  "red": 113
                }
              },
              {
                "percentage": 1.59,
                "rgb": {
                  "blue": 158,
                  "green": 237,
                  "red": 247
                }
              },
              {
                "percentage": 0.21,
                "rgb": {
                  "blue": 80,
                  "green": 65,
                  "red": 66
                }
              }
            ]
          }
        }
      },
      {
        "key": "summary_photo_image_x_large",
        "value": {
          "image_value": {
            "height": 600,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=png&name=2048x2048_2_exp",
            "width": 1200
          }
        }
      },
      {
        "key": "summary_photo_image",
        "value": {
          "image_value": {
            "height": 314,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=jpg&name=600x314",
            "width": 600
          }
        }
      },
      {
        "key": "photo_image_full_size_color",
        "value": {
          "image_color_value": {
            "palette": [
              {
                "percentage": 91.8,
                "rgb": {
                  "blue": 255,
                  "green": 255,
                  "red": 255
                }
              },
              {
                "percentage": 3.1,
                "rgb": {
                  "blue": 90,
                  "green": 225,
                  "red": 241
                }
              },
              {
                "percentage": 2.98,
                "rgb": {
                  "blue": 122,
                  "green": 117,
                  "red": 113
                }
              },
              {
                "percentage": 1.59,
                "rgb": {
                  "blue": 158,
                  "green": 237,
                  "red": 247
                }
              },
              {
                "percentage": 0.21,
                "rgb": {
                  "blue": 80,
                  "green": 65,
                  "red": 66
                }
              }
            ]
          }
        }
      },
      {
        "key": "photo_image_full_size_x_large",
        "value": {
          "image_value": {
            "height": 600,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?format=png&name=2048x2048_2_exp",
            "width": 1200
          }
        }
      },
      {
        "key": "card_url",
        "value": {
          "scribe_key": "card_url",
          "string_value": "https://t.co/xegnXal7UT"
        }
      },
      {
        "key": "summary_photo_image_original",
        "value": {
          "image_value": {
            "height": 600,
            "url": "https://pbs.twimg.com/card_img/2044190939061641217/kG9I0nir?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/xegnXal7UT",
    "user_refs_results": [
      {
        "rest_id": "13334762",
        "result": {
          "__typename": "User",
          "action_counts": {
            "favorites_count": 8685
          },
          "avatar": {
            "image_url": "https://pbs.twimg.com/profile_images/1633247750010830848/8zfRrYjA_normal.png"
          },
          "banner": {
            "image_url": "https://pbs.twimg.com/profile_banners/13334762/1765308302"
          },
          "core": {
            "created_at": "Mon Feb 11 04:41:50 +0000 2008",
            "name": "GitHub",
            "screen_name": "github"
          },
          "dm_permissions": {
            "can_dm": true
          },
          "exclusive_tweet_following": false,
          "follow_request_sent": false,
          "identity_profile_labels_highlighted_label": {},
          "location": {
            "location": "San Francisco, CA"
          },
          "media_permissions": {
            "can_media_tag": true
          },
          "notifications_settings": {
            "notifications_enabled": false
          },
          "pinned_items": {
            "tweet_ids_str": []
          },
          "privacy": {
            "protected": false,
            "suspended": false
          },
          "private_super_following": false,
          "profile_bio": {
            "description": "The AI-powered developer platform to build, scale, and deliver secure software.",
            "entities": {
              "description": {
                "hashtags": [],
                "symbols": [],
                "urls": [],
                "user_mentions": []
              },
              "url": {
                "urls": [
                  {
                    "display_url": "github.com",
                    "expanded_url": "http://github.com",
                    "indices": [
                      0,
                      23
                    ],
                    "url": "https://t.co/bbJgfyzKzp"
                  }
                ]
              }
            }
          },
          "profile_image_shape": "Square",
          "profile_metadata": {
            "profile_interstitial_type": "",
            "profile_link_color": "981CEB"
          },
          "profile_translation": {
            "translator_type_enum": "None"
          },
          "properties": {
            "has_extended_profile": true
          },
          "relationship_counts": {
            "followers": 2628896,
            "following": 334
          },
          "relationship_perspectives": {
            "blocked_by": false,
            "blocking": false,
            "followed_by": false,
            "following": false,
            "live_following": false,
            "muting": false
          },
          "rest_id": "13334762",
          "smart_blocked_by": false,
          "smart_blocking": false,
          "super_follow_eligible": false,
          "super_followed_by": false,
          "super_following": false,
          "tweet_counts": {
            "media_tweets": 2954,
            "tweets": 10495
          },
          "verification": {
            "is_blue_verified": true,
            "verified": false,
            "verified_type": "Business"
          },
          "website": {
            "url": "https://t.co/bbJgfyzKzp"
          }
        }
      }
    ]
  },
  "place": {},
  "entities": {
    "hashtags": [],
    "symbols": [],
    "urls": [
      {
        "display_url": "github.com/przchojecki/ag…",
        "expanded_url": "https://github.com/przchojecki/agentic-erdos",
        "indices": [
          1095,
          1118
        ],
        "url": "https://t.co/xegnXal7UT"
      }
    ],
    "user_mentions": []
  },
  "quoted_tweet": {
    "type": "tweet",
    "id": "2044129595729854493",
    "url": "https://x.com/prz_chojecki/status/2044129595729854493",
    "twitterUrl": "https://twitter.com/prz_chojecki/status/2044129595729854493",
    "text": "Today I solved my second open Erdos problem with GPT-5.4 Pro.\n\nIt's quite a remarkable day, because within the last 24 hours, two other Erdos problems has been solved as well with AI.\n\nStill over 500+ to go. https://t.co/dkrhZSlyBR",
    "source": "Twitter for iPhone",
    "retweetCount": 68,
    "replyCount": 21,
    "likeCount": 829,
    "quoteCount": 13,
    "viewCount": 73824,
    "createdAt": "Tue Apr 14 19:04:08 +0000 2026",
    "lang": "en",
    "bookmarkCount": 127,
    "isReply": false,
    "inReplyToId": null,
    "conversationId": "2044129595729854493",
    "displayTextRange": [
      0,
      207
    ],
    "inReplyToUserId": null,
    "inReplyToUsername": null,
    "author": {
      "type": "user",
      "userName": "prz_chojecki",
      "url": "https://x.com/prz_chojecki",
      "twitterUrl": "https://twitter.com/prz_chojecki",
      "id": "719105586722402304",
      "name": "Przemek Chojecki | PC",
      "isVerified": false,
      "isBlueVerified": true,
      "verifiedType": null,
      "profilePicture": "https://pbs.twimg.com/profile_images/1595909528045977601/g_y0_WO7_normal.jpg",
      "coverPicture": "https://pbs.twimg.com/profile_banners/719105586722402304/1770666460",
      "description": "",
      "location": "#",
      "followers": 10219,
      "following": 1127,
      "status": "",
      "canDm": true,
      "canMediaTag": false,
      "createdAt": "Sun Apr 10 10:11:47 +0000 2016",
      "entities": {
        "description": {
          "urls": []
        },
        "url": {}
      },
      "fastFollowersCount": 0,
      "favouritesCount": 65120,
      "hasCustomTimelines": true,
      "isTranslator": false,
      "mediaCount": 2822,
      "statusesCount": 19153,
      "withheldInCountries": [],
      "affiliatesHighlightedLabel": {},
      "possiblySensitive": false,
      "pinnedTweetIds": [],
      "profile_bio": {
        "description": "AI Research Lab @ https://t.co/v2xNrVTykE, PhD in maths",
        "entities": {
          "description": {
            "hashtags": [],
            "symbols": [],
            "urls": [
              {
                "display_url": "ulam.ai",
                "expanded_url": "http://ulam.ai",
                "indices": [
                  18,
                  41
                ],
                "url": "https://t.co/v2xNrVTykE"
              }
            ],
            "user_mentions": []
          },
          "url": {
            "urls": [
              {
                "display_url": "github.com/ulamai/ulamai",
                "expanded_url": "https://github.com/ulamai/ulamai",
                "indices": [
                  0,
                  23
                ],
                "url": "https://t.co/6NCL4fAYOB"
              }
            ]
          }
        }
      },
      "isAutomated": false,
      "automatedBy": null
    },
    "extendedEntities": {
      "media": [
        {
          "allow_download_status": {
            "allow_download": true
          },
          "display_url": "pic.twitter.com/dkrhZSlyBR",
          "expanded_url": "https://twitter.com/prz_chojecki/status/2044129595729854493/photo/1",
          "ext_media_availability": {
            "status": "Available"
          },
          "features": {
            "large": {
              "faces": []
            },
            "orig": {
              "faces": []
            }
          },
          "id_str": "2044129506114314240",
          "indices": [
            208,
            231
          ],
          "media_key": "3_2044129506114314240",
          "media_results": {
            "id": "QXBpTWVkaWFSZXN1bHRzOgwAAQoAARxeNPSe1qAACgACHF41CXxXQB0AAA==",
            "result": {
              "__typename": "ApiMedia",
              "id": "QXBpTWVkaWE6DAABCgABHF409J7WoAAKAAIcXjUJfFdAHQAA",
              "media_key": "3_2044129506114314240"
            }
          },
          "media_url_https": "https://pbs.twimg.com/media/HF409J7WoAAYN6K.jpg",
          "original_info": {
            "focus_rects": [
              {
                "h": 486,
                "w": 868,
                "x": 552,
                "y": 0
              },
              {
                "h": 486,
                "w": 486,
                "x": 743,
                "y": 0
              },
              {
                "h": 486,
                "w": 426,
                "x": 773,
                "y": 0
              },
              {
                "h": 486,
                "w": 243,
                "x": 865,
                "y": 0
              },
              {
                "h": 486,
                "w": 1972,
                "x": 0,
                "y": 0
              }
            ],
            "height": 486,
            "width": 1972
          },
          "sizes": {
            "large": {
              "h": 486,
              "w": 1972
            }
          },
          "type": "photo",
          "url": "https://t.co/dkrhZSlyBR"
        }
      ]
    },
    "card": null,
    "place": {},
    "entities": {
      "hashtags": [],
      "symbols": [],
      "timestamps": [],
      "urls": [],
      "user_mentions": []
    },
    "quoted_tweet": null,
    "retweeted_tweet": null,
    "isLimitedReply": false,
    "communityInfo": null,
    "article": null
  },
  "retweeted_tweet": null,
  "isLimitedReply": false,
  "communityInfo": null,
  "article": null
}