News for hackers. Stuff that matters.

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

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by ShinyLeftPad on Friday November 13, 2026 @01:43PM (#50487911)
so what would the new incentives be? don't publish... and get paid anyway?
[ Parent | on HN ]
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by hobo123 on Friday November 13, 2026 @02:00PM (#50488140)
At least that's how traditional Western universities used to work. The profs sometimes published something, and they taught students. Looking at science back then, it seemed to work out rather well.
[ Parent | on HN ]
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by ShinyLeftPad on Friday November 13, 2026 @02:01PM (#50488152)
True.
[ Parent | on HN ]
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by mohamedkoubaa on Friday November 13, 2026 @03:37PM (#50489310)
If possible, this would be ideal.
[ Parent | on HN ]