You might be wondering if there are more Erdos problems that GPT 5.2 Pro or Deep Research can solve.
I recruited a team of bright undergraduates to construct a dataset of ChatGPT responses to every open Erdos problem and validate the output.
Here's what they found (all open source - repo below):

Weekend win: The proof I submitted for Erdos Problem #397 was accepted by Terence Tao.
The proof was generated by GPT 5.2 Pro and formalized with Harmonic.
Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them:

Neel Somani

Twitter

Bitcoin at Block – the Bitcoin project of Block , the company founded by Twitter co-founder Jack Dorsey – has just announced the launch of a free Bitcoin Faucet, marking the return of the Bitcoin distribution model...

Jack Dorsey announces a $1 million project to give away free Bitcoin.

MicroStrategy founder Michael Saylor asserts that Bitcoin has won the global narrative war, specifically naming BIP- […]
The article, "Michael Saylor Warns BIP-110 is the Biggest Threat to Bitcoin; Four-Year Cycle is Dead, Institutional Capital is the Real Protagonist," was first published on BlockTempo, the most influential blockchain ABMedia media.

Michael Saylor warns that BIP-110 is the biggest threat to Bitcoin; the four-year cycle is dead, and institutional capital is the real protagonist.

Cryptocurrency has not failed; it has simply been targeting the wrong users over the past decade.