2026-10-11 16:37 UTC

ai-for-math

band: warmmomentum: stable score: 0.31
temperature history

Episodes (2)

Alman and Vassilevska Williams's preprint reports the first truly subquadratic 3SUM (O(n^1.9992)) and truly subcubic APSP (O(n^2.9995)) algorithms — attributing the core thin-matrix-product algorithm to an Anthropic research model with Lean-formalized theorems — and expert acceptance of both the results and the AI-origin attribution would establish frontier models as originators of landmark theoretical-CS advances.
corroboratedconvergesscott: high
OpenAI's released preprint 'Finite-tensor savings and exact Fourier circuits' (openai/math, dated 2026-09-25) claims a discrete Fourier transform faster than the classical n log n bound; expert acceptance of its computational model would upend a foundational algorithmic barrier, while a model-assumption flaw closes it as an error.
watchingconvergesscott: medium