# AlphaProof

> Entity coverage from Web Pulse
> Last updated: 2026-05-25T03:47:41.274689+00:00
> 1 articles mentioning **AlphaProof**

- [[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000](https://wpnews.pro/news/ainews-openai-gpt-next-disproves-80-year-old-erdos-planar-unit-distance-problem) — 2026-05-21