Researcher Highlights Absence of Worldview-Shaping Math Problems at NASEM AI Workshop
Reactions from ranked influencers
2 posts
Maybe the weirdest thing to come out of the @theNASEM workshop on AI & Formal Theorem Proving is that nobody seems to have a solid example of an open problem in mathematics that’s load-bearing on how they view the world. Personally, I find this baffling.
There are many problems and conductors and computer science that I consider loadbearing on how I view the world, whether it’s the existence of one functions, P = BPP, or the idea that compression is a fundamental representation of intelligence.