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
- Why a 1GW Chinese AI data center may be plausible after all — teortaxesTex · 2026-07-22
- Chinese AI labs are now treating distillation obfuscation as the top research topic — pmddomingos · 2026-07-22
- Structural ensembles beat single predictions in TCR:pMHC generalization study — quaidmorris · 2026-07-22
- RSS launches under OMSF to push structural biology data modeling at scale — MoAlQuraishi · 2026-07-22
- enFoldX tops 8 neoantigen scans and an unseen-peptide benchmark — quaidmorris · 2026-07-22
- enFoldX reaches AUC 0.82 on human VDJdb and transfers to mouse at 0.76 — quaidmorris · 2026-07-22