NASEM AI theorem-proving workshop finds few can name a worldview-defining math problem
BlancheMinerva · x · 2026-07-21
At a NASEM workshop on AI and formal theorem proving, one surprising takeaway was that attendees struggled to name a concrete open mathematics problem that they saw as load-bearing for their worldview. The speaker says that absence is baffling.
Related event: NASEM Workshop Reveals Lack of Worldview-Shifting Math Problems(2 posts)→
More from Research
- Nature paper images cellular activity across all organs, revealing body-wide circuits — arjunrajlab · 2026-09-11
- SignNet 1M Dataset Released for Sign Language Research — ducha_aiki · 2026-09-11
- ECCV26 Oral: Flow Matching Enables Single-Stage Multi-View Point Cloud Registration — ducha_aiki · 2026-09-11
- InFlux++ Method Released — ducha_aiki · 2026-09-11
- Skyfall GS Uses Flux to Refine Gaussian Splatting, Accepted at ECCV 2026 — ducha_aiki · 2026-09-11
- Could 10k agents discover learning methods beyond backprop, or just tweak existing ones? — SeunghyunSEO7 · 2026-09-11