Kamath blames publication culture for the lack of AI-driven proof simplification
thegautamkamath · x · 2026-10-06
Part 2/n of the thread: Kamath attributes this focus to publication culture, where most glory goes to whoever gets a result first and simplifications are rarely publishable (notable exceptions like Dinur's PCP theorem simplification).
Related event: Professor Calls for Using AI to Find Simpler Proofs of Old Theorems(8 posts)→
More from Research
- ERC to launch dedicated PE12 panel for AI fundamentals research from 2028 calls — TobyWalsh · 2026-10-06
- Looped-DiT released: PyTorch implementation of claimed first looped-transformer image model — Apprehensive_Sky892 · 2026-10-06
- Studies: humans deny AI consciousness even with identical behavior; AI vision misses illusions primates catch — MacrinePhD · 2026-10-06
- SFT then RL doesn't fix agent looping: 29% of runs hit turn cap vs 0% for RL alone — VikParuchuri · 2026-10-06
- RL Post-Training Eliminates Agent Tool-Call Loops: 92% Loop Rate Drops to 0 — VikParuchuri · 2026-10-06
- Watch, Infer, Coordinate: robots infer a partner's physical limits from watching teamwork, then coordinate zero-shot — mangahomanga · 2026-10-06