Team seeks Hilbert's 6th problem collaborators to build verifiable logic for AI x Science
CatAstro_Piyush · x · 2026-10-19
Physics and other sciences still lack robust mathematical foundations: Hilbert's 6th problem (axiomatization of physics) remains unsolved, and we lack a logic where experimental verifiability is a core primitive. This has become a key bottleneck for building trustworthy verifiers for scientific reasoning that would power AI x Science. The author's team recently found a concrete approach to make progress and is looking for collaborators who have thought deeply about Hilbert's 6th problem — DM if interested. An attached diagram sketches the framework, splitting statements into verifiable, undecidable, and falsifiable parts mapped to topological structures like Borel sets.
More from AGI Musings
- Musk warns many will be 'one-shotted' by super-persuasive superintelligences — elonmusk · 2026-10-19
- Researcher: AI safety evals repeat crypto's classic 'I couldn't crack it' fallacy — davidmanheim · 2026-10-19
- One chart explains the AI economy: models commoditize while compute demand keeps surging — FinanceYF5 · 2026-10-19
- Schmidhuber to Give Free Public Lecture at Kyoto University on AI's Past, Present and Far Future — hardmaru · 2026-10-19
- 'Written with AI' tells you nothing — the disclosure that matters is how — indianbull88 · 2026-10-19
- "Today is the quiet period": dev on why AI progress never feels slow in hindsight — jam3scampbell · 2026-10-19