Heh, has the Goldbach conjecture been proven undecidable?
Not to my knowledge ;-) At best, it's a possiblity - which can go either way.No human or computer will ever make it anything more than that. Ever.
Someone saying it's true, up to < n, is not addressing the problem.
Someone trying to address the problem, does not even understand the problem ;-)
