AI math proofs shift to open-source-style collaboration, square packing shows
ctjlewis · x · 2026-10-07
In a quote-tweet, ojoshe discusses square packing as a fun topic for AI proofs, blending visual/geometric intuition with intense systematic verification—like mapping a cave full of sharp corners rather than downhill exploration. He argues mathematical proof is moving toward an open-source-style collaborative model: the effort ships with a community repo, AI-written explainer docs, and visual walkthroughs of the lower-bound arguments.
More from Research
- Mathematician: norms for LLM use in serious math are still unsettled — littmath · 2026-10-07
- IdeaLens debuts: a detector that separates human ideas from AI-written prose — MohitIyyer · 2026-10-07
- SC4AI'27 workshop on social choice for AI alignment at AAAI, deadline Nov 20 — conitzer · 2026-10-07
- Grafting mid-training weights onto RLed models works, challenging the PSM pipeline — repligate · 2026-10-07
- WonderSearch 1.1 claims #1 on all 7 sparse retrieval benchmarks, no vector DB needed — Scobleizer · 2026-10-07
- NIH Pioneer Award grants ~$6M for LLM agents generating cancer hypotheses tested by robots — anshulkundaje · 2026-10-07