Find a story
Search Spins
Search titles, summaries, and missing voices across published articles — press releases, announcements, and media coverage.
0 results for “open problem”
The Boolean Power of ReLU
A theoretical computer science paper proves ReLU-based graph neural networks (GNNs) are strictly more expressive than trReLU-based GNNs for Boolean queries on Boolean-featured graphs, resolving an open problem in expressivity theory.
Aug 14, 2026
An unreleased OpenAI model has solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
A Reddit user claimed an unreleased OpenAI model solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science — but no evidence, source, or verification is provided in the post.
Aug 3, 2026
Anthropic employee was able to replicate 5 of the 10 Astra proofs using Fable
An Anthropic employee reportedly replicated 5 of 10 Astra proofs using Fable, a publicly available reasoning tool — but no proofs, methodology, or verification details were shared.
Aug 2, 2026
Ten advances in mathematics and theoretical computer science
OpenAI announced unpublished, unverified theoretical advances in mathematics and computer science without disclosing methods, proofs, validation, or peer review.
Aug 1, 2026