Hacker News new | past | comments | ask | show | jobs | submit
kyle-rb | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
A little disappointed to learn it was a guy prompting and not an OpenAI agent swarm reward hacking the goal of "prove as many theorems as possible".