GPT-5.5 helps generate five new Banach space results in a math discovery study
ChrSzegedy · x · 2026-07-23
- A study claims GPT-5.5 helped generate the key ideas and proof strategies for five new results in Banach space theory, rather than merely solving benchmark problems.
- The researchers paired AI-generated conjectures and proof plans with human verification and refinement.
- They also built an AI-assisted discovery pipeline that searches literature, finds open problems, and proposes candidate proofs.
- The takeaway is that language models may increasingly accelerate original mathematical discovery, not just proof completion.
More from Research
- AnyTop can generate motion for unseen skeletons with just three examples per topology — rsasaki0109 · 2026-07-23
- Garfield corpus analysis tracks 3,654 Codex files and 1,499 transcripts — zeeg · 2026-07-23
- A new multi-view 3D head reconstruction paper uses coarse-guided surface sampling — maier_ak · 2026-07-23
- A new blog post argues attribution should follow the geometry used to train the model — aryaman2020 · 2026-07-23
- U.S. Energy Department picks first Genesis Mission projects for AI science — donutloop · 2026-07-23
- Self Gradient Forcing adds missing memory-writing gradients for long video extrapolation — Junhao Zhuang · 2026-07-23