AI Successfully Tackles Open Exponential Decay Theorem, Sparking Debate on Math Knowledge Evolution
iskander · x · 2026-08-02
An expert in the mathematics field discussed on X how newly AI-generated proofs fit into the broader landscape of knowledge. Quoting another mathematician's experience, he noted that while a polynomial-decay theorem was proven in 2016, the exponential-decay theorem remained open.
Although trying GPT 5.5 on it a month ago didn't yield much progress, Lijie Chen recently sent out a writeup with a supposed Lean formalization. The poster expressed that while it will take time to digest, it is gratifying to see AI go beyond where the original paper left off, sparking reflections on how AI is reshaping mathematical research.
More from Research
- It's not gradient descent: burny_tech corrects the diagnosis to RLHF mode collapse — burny_tech · 2026-10-16
- A beginner-friendly introduction to causal inference kicks off, Part 1 — Nasereliver · 2026-10-16
- FBI method trains for Pass@K with one sample per update at 12.3% of the cost — EmtiyazKhan · 2026-10-16
- Berkeley researchers sample humanoid robot policies directly from weight space with diffusion — berkeley_ai · 2026-10-16
- OneWM: unified causal training shows world and action modeling improve each other — IAAI233 · 2026-10-16
- Baidu's Virtual Head Attention tames the KV cache, FLOPs, quality triangle in long-context LLMs — baidu · 2026-10-16