Comments URL: https://news.ycombinator.com/item?id=50486748
Points: 38
# Comments: 2
AI & ML
Source：https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths
AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Hacker News0 views
Source：https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-mathsPreviousApple Maps in iOS 27 has hidden new feature I’ve been lovingNextAnthropic’s IPO Filing Sets Out $84.6 Billion Funding Plan and November Trading Target
Related posts
You can adjust the position of the trackball on Keychron’s new wireless mouse
0The Verge
How an 8MB MCP Tool Response Crashes Claude Code — And How to Debug Prompt Cache Misses Across Agents
0dev.to
Prism AI Release History: Evolution from Concept to v1.0.0
0dev.to
Enhanced integrations and local data management in Relay
0dev.to
A prefix away from deleting a live file: fixing Geo's in-use check
0dev.to
How I used Google's Elephant-Goldfish Model and Superpowers to build one feature
0dev.to