cd/entity/Toda's theorem· home› entities› Toda's theorem
grep -l @toda's theorem /news/*.json | wc -l → 1

Toda's theorem

mentions 1 type Person feed RSS

// recent coverage 1 mentions

15:21
2026-10-15
blog.computationalcomplexity.org
artificial-intelligence

Complexity and Lean

OpenAI released a claimed Lean proof of L = RL = BPL in its GitHub math repository, according to complexity theorist Lance Fortnow's Computational Complexity blog post on formalizing complexity-class …

// co-occurs with top 7 entities
OpenAI 1 Lean 1 Lance Fortnow 1 Computational Complexity 1 Lautemann 1 Cobham 1 BPP 1
// topics top 4 topics
artificial intelligence 1 ai research 1 machine learning 1 large language models 1