# Open problems from the 2020s > 9 AI-made results on questions first raised the 2020s, each explained in plain English. Results on questions first raised the 2020s, going by the… Canonical: https://closedform.nishachay.tech/open-since/2020s/ Last updated: 2026-10-14 Results on questions first raised the 2020s, going by the earliest step each entry records. 9 AI-made results on questions first raised the 2020s, from 19 papers in the OpenAI math collection, each explained in plain English. 5 have a formal Lean proof listed; 4 are claimed in a paper and not yet machine-checked. They span 7 fields, led by mathematical physics (2), number theory (2) and algebra (1). The oldest question here dates back to 2021: [Counterexamples to finite generation at chromatic height two](https://closedform.nishachay.tech/e/openai-math-2026-319/). ## Results (9) - [Restricted geometric Langlands, global Arthur enhancements, and generic Ramanujan](https://closedform.nishachay.tech/e/openai-math-2026-014/) - Entry 014 · Linked papers claim the restricted geometric Langlands equivalence in characteristic p, plus Ramanujan bounds. (Claimed, not checked) - [Potential integral density on curve character varieties](https://closedform.nishachay.tech/e/openai-math-2026-027/) - Entry 027 · On every curve, whole-number matrix rules spread across the character variety after one enlargement of the integers. (Formal proof listed) - [Dimension-free logarithmic Sobolev inequality for subgaussian log-concave measures](https://closedform.nishachay.tech/e/openai-math-2026-093/) - Entry 093 · Log-concave laws with bell-curve tails in every direction obey a dimension-free log-Sobolev bound, the paper claims. (Claimed, not checked) - [Optimal-order randomized k -server on arbitrary metrics](https://closedform.nishachay.tech/e/openai-math-2026-110/) - Entry 110 · Randomized k-server costs at most a squared-logarithm factor on every space, matching the known lower bound. (Formal proof listed) - [Finite symmetric tensor categories and the Verlinde tower](https://closedform.nishachay.tech/e/openai-math-2026-208/) - Entry 208 · Every finite symmetric tensor category in characteristic p is claimed to map into one higher Verlinde category. (Claimed, not checked) - [The exact factor-of-IID threshold for free Ising spins on trees](https://closedform.nishachay.tech/e/openai-math-2026-236/) - Entry 236 · The free Ising state on a regular tree can be built from independent labels exactly up to tanh β = 1/√(d−1). (Formal proof listed) - [QMA-hardness of continuum Coulomb energy](https://closedform.nishachay.tech/e/openai-math-2026-275/) - Entry 275 · Proves that estimating a molecule's exact electronic ground energy, from nuclear positions alone, is QMA-hard. (Formal proof listed) - [QAOA attains the SK optimum in the thermodynamic-first limit](https://closedform.nishachay.tech/e/openai-math-2026-281/) - Entry 281 · Claims QAOA reaches the Sherrington–Kirkpatrick ground-state energy as size grows first and depth then increases. (Formal proof listed) - [Counterexamples to finite generation at chromatic height two](https://closedform.nishachay.tech/e/openai-math-2026-319/) - Entry 319 · A paper claims to disprove the Hahn–Wilson conjecture at height two, for every large enough prime. (Claimed, not checked) ## Related - [Lean-checked results](https://closedform.nishachay.tech/trust/lean-checked/) - Trust · 242 results - [Claimed, not yet checked](https://closedform.nishachay.tech/trust/claimed/) - Trust · 130 results - [Solid results](https://closedform.nishachay.tech/significance/solid/) - Significance · 50 results - [Graph theory](https://closedform.nishachay.tech/topic/graph-theory/) - Topic · 40 results - [Open since before 1940](https://closedform.nishachay.tech/open-since/before-1940/) - Era · 16 results - [Open since the 1940s](https://closedform.nishachay.tech/open-since/1940s/) - Era · 12 results - [Open since the 1950s](https://closedform.nishachay.tech/open-since/1950s/) - Era · 23 results - [Open since the 1960s](https://closedform.nishachay.tech/open-since/1960s/) - Era · 33 results - [Open since the 1970s](https://closedform.nishachay.tech/open-since/1970s/) - Era · 63 results - [Open since the 1980s](https://closedform.nishachay.tech/open-since/1980s/) - Era · 60 results - [Number theory](https://closedform.nishachay.tech/science/mathematics/number-theory/) - Field · 2 here - [Mathematical physics](https://closedform.nishachay.tech/science/mathematics/mathematical-physics/) - Field · 2 here - [Convex and metric geometry](https://closedform.nishachay.tech/science/mathematics/convex-and-metric-geometry/) - Field · 1 here - [All topics](https://closedform.nishachay.tech/topics/) - Every way to browse