I have no exact prompt to share, but he does write:
> Appreciate the insight! If it's at all of interest, this was a one-shot (supposed) solution in about 80 mins, unlike some other problems like 851 that took over 20 continuations totalling perhaps 15-20 hours of reasoning time.
> Appreciate the insight! If it's at all of interest, this was a one-shot (supposed) solution in about 80 mins, unlike some other problems like 851 that took over 20 continuations totalling perhaps 15-20 hours of reasoning time.
Source: https://www.erdosproblems.com/forum/thread/1196#post-5365