0
‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths (www.theguardian.com)
submitted 12 hours ago by to c/math@lemmy.sdf.org
1 comment fedilink hide all child comments
other discussions
3
AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems (www.theguardian.com)
submitted 18 hours ago by [B] to c/hackernews@lemmy.bestiver.se
1 comment fedilink hide all child comments
 

Comments