News for hackers. Stuff that matters.

A comment on AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems.

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by empath75 on Friday November 13, 2026 @01:12PM (#50487434)
https://aitp-conference.org/2026/slides/JvP.pdf this seems to be slide deck with some of the results.
[ Parent | on HN ]
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by superjan on Friday November 13, 2026 @01:34PM (#50487778)
[delayed]
[ Parent | on HN ]
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by taylorbuley on Friday November 13, 2026 @01:53PM (#50488027)
[delayed]
[ Parent | on HN ]