Probabilistic logspace
AssessTechniques
A complexity class concerning randomized computation using logarithmic space.
Why it's here
Placed in Assess: 1 article(s) of evidence from 1 source(s), led by research breakthroughs, with 1 in the last 30 days. Confidence 24%. Low accumulated evidence, so it defaults conservatively pending more signal.
Evidence (1)
- 10Hacker News·10/7/2026breakthroughOpenAI-Reported Math Breakthroughs Include a Proof of the Unique Games Conjecture
The post discusses a set of major mathematics results reportedly released by OpenAI, including a proof of the Unique Games Conjecture and other long-standing problems in complexity theory and algorithms. The author notes that the proofs appear formally certified in Lean, but that humans have not yet fully understood them and are beginning to verify the details.