← All reports

GPT-5.4 Pro has successfully proven Erdős Problem #1196.

AIMathematicsScienceMay 1, 2026score 0.172 posts · 0 replies across 1 instances
The thread discusses a claimed proof of Erdős Problem #1196 by GPT-5.4 Pro, referencing a blog post. It highlights the potential impact of AI in solving complex mathematical problems, sparking debate on AI's role in academic and scientific fields.

Claims

GPT-5.4 Pro has successfully proven Erdős Problem #1196.
Parent: AIEntity: GPT-5.4 ProImpact: positiveDate: May 1, 2026Target: GPT-5.4 Pro's ability to solve complex mathematical problems

Source posts

@[email protected]
Sobre la demostración del Problema #1196 de Erdős por GPT-5.4 Pro francis.naukas.com/2026/05/01/s... Sobre la demostración del Prob...
0 boosts · 0 favs · 0 replies · May 1, 2026
@[email protected]
Sobre la demostración del Problema #1196 de Erdős por GPT-5.4 Pro https://francis.naukas.com/2026/05/01/sobre-la-demostracion-del-problema-1196-de-erdos-por-gpt-5-4-pro/
0 boosts · 0 favs · 0 replies · May 1, 2026