GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems

Show HN: GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems

GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems is a company in show hn launch.

Profile

Hi HN, it seemed like there was broad interest in the previous Erdos problem that GPT 5.2 Pro solved: https://news.ycombinator.com/item?id=46664631I recruited a team of smart undergraduates to construct a dataset of ChatGPT responses to every open Erdos problem and verify the output.They found:- 3 problems with new proofs (though in 2 cases, historical partial results were found that could be extended to solve the same problem)- 4 problems where 5.2 Pro or Deep Research found an exact solution in the prior literature that hadn't been documented- 3 problems where 5.2 Pro or Deep Research were able to strengthen a prior result in the literature- 3 problems where typos were identified in the pr

The company sits in the show hn launch segment, where it competes on its core product or service.

Its current recorded stage is Show HN launch.

Website: www.ocf.berkeley.edu/~neel/erdos.html