Javascript is not enabled. This site can still works but it'll be more interactive when javascript is enabled.
loading...
Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
superjan
5 hours ago
|
on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
And here is the site of the research group involved.
https://www.helsinki.fi/en/researchgroups/godel-enigma
reply
Hacker News new | past | comments | ask | show | jobs | submit Hacker News new | past | comments | ask | show | jobs | submit