Hacker News new | past | comments | ask | show | jobs | submit
empath75 | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
https://aitp-conference.org/2026/slides/JvP.pdf this seems to be slide deck with some of the results.
superjan | parent | next
And here is the site of the research group involved. https://www.helsinki.fi/en/researchgroups/godel-enigma
taylorbuley | parent
Thank you! Godel's work get us comfortably uncomfortable with unknowability but damn, to think there's more out there! I'm dying to know more.