Tag
Physical Superintelligence says a research system running a non-public Anthropic model proved a 2008 quantum-computing conjecture; the proof is formally checked but not yet peer reviewed.
audiotale.net team7 min read
A blog post from MIT CSAIL reports a frontier LLM rewriting a small model's weights with no training, but most of the gain came from fixing looping, not new maths skill.
audiotale.net team8 min read
OpenAI published a paper and Lean proof claiming a subexponential algorithm that refutes ETH, a 1999 hardness assumption behind hundreds of papers; nobody outside has verified it yet.
audiotale.net team6 min read
A Science paper reports the first hardware test of a technique meant to shrink the biggest resource cost of error-corrected quantum computing, with clear limits still ahead.
audiotale.net team6 min read