He does sort of balance it with an opposing point, though:
> My biggest worry about all this is that claims of a major result should be resolved in a timely fashion, since otherwise unpleasant claims of credit and priority may arise.
In this case it's not too clear to me what's gained from keeping the updated proof private, available only to a few anonymous referees, and not available to folks like Lipton. It might still take a while to sort out even if it were generally available, but that's different from keeping it within a very slow and limited formalized process.
> There is immense power in the web as a method of understanding mathematical claims. The proof attempt was read by many, and this quickly led to insights about it. From Fields Medalists to professional mathematicians to amateurs, all helped with the analysis of the claim. We were amazed at the power of the crowd in this situation.
Even though it's what people have been saying about potential for a new style of peer review, this call-out was more interesting to me. It's worded as if it might have gotten some royal 'we' interested in doing web-style collaboration, or at least taking it seriously.
While we're here, any word on the supposed proof of the Collatz Conjecture that came up a couple months ago? I haven't been able to find anything about how it's holding up since.
I checked and 10,000 adds can be dispatched to multicores and yield a time faster than single core. You must first compile the kernel with the "FastMP" option. This causes all cores to stay awake and not go into a HLT state. Because they are all awake, they need not be interrupted by the APIC during a job dispatch.
10 comments
[ 2.5 ms ] story [ 37.3 ms ] threadInteresting that he called this out explicitly
> My biggest worry about all this is that claims of a major result should be resolved in a timely fashion, since otherwise unpleasant claims of credit and priority may arise.
In this case it's not too clear to me what's gained from keeping the updated proof private, available only to a few anonymous referees, and not available to folks like Lipton. It might still take a while to sort out even if it were generally available, but that's different from keeping it within a very slow and limited formalized process.
Even though it's what people have been saying about potential for a new style of peer review, this call-out was more interesting to me. It's worded as if it might have gotten some royal 'we' interested in doing web-style collaboration, or at least taking it seriously.
(At the end of the comments you'll see that the author of the proof withdrew the claim.)