TLDR Tech / News
AI confirms existential theory of reals is in counting hierarchy
A study has confirmed that the existential theory of the reals is included in the counting hierarchy, specifically at the fourth level, $\exists \mathbb{R} \subseteq \textsf{BPP}^{\textsf C_3\textsf{P}} \subseteq \textsf{C}_4\textsf{P}$. This finding was made by ChatGPT through discussions that concluded in September 2026. OpenAI also published a comparable conclusion with a slightly less restrictive bound around the same time.
Read the full story