|
|
|
|
|
|
by martin293
61 days ago
|
|
|
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. Source: https://www.erdosproblems.com/forum/thread/1196#post-5365 |
|
|