Two papers on AI for long-horizon math research and Grothendieck bounds released
ctjlewis · x · 2026-08-15
RT @rah4927: Our papers on Grothendieck bounds and AI for long-horizon mathematical research are available. We welcome thoughts on the math or research process.
More from Research
- Free 350-page Physics-Based Deep Learning Book Now Open, With 39 Hands-on Coding Exercises — burkov · 2026-09-22
- FloatLib: A Verified Arbitrary-Precision Floating-Point Library in Lean — sytelus · 2026-09-22
- World Models startup Reactor raises $59M, calls it the next frontier after LLMs — Scobleizer · 2026-09-22
- Extracting confidence probabilities from small local LLMs via logits — OneFanFare · 2026-09-22
- Xiaomi MiMo may be first RL at 1M context, with agent-as-a-judge as new scaling axis — stochasticchasm · 2026-09-22
- Researcher collected 40GB of raw LLM request traces via proxy for Chutes — airesearch12 · 2026-09-22