Comment by andriy_koval 2 months ago My bet they run gpt over dataset of 10k unsolved conjectures, it happened this one was solvable. 0 comments andriy_koval Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗