I have essentially no real knowledge about this topic, but I suppose some progress has been made by tightening the bounds for this constant?
Can somebody with more info chime in--- is this a huge, groundbreaking amount of progress?
Can somebody with more info chime in--- is this a huge, groundbreaking amount of progress?
So, not huge in absolute terms, but on the other hand, huge, as it removes all remaining negative numbers.
So really it's hard to say. You might even say this proof made things harder. It guarantees that you have to prove the constant is 0 if you want to prove the conjecture. Before you might have hoped prove negativity.