News for hackers. Stuff that matters.

A comment on Show HN: New world record – verified Goldbach Conjecture up to 4*10^18+7*10^13. Parent comment

Re:Show HN: New world record – verified Goldbach Conjecture ... by sebzim4500 on Saturday April 19, 2025 @08:42AM (#43736025)
It would still take a nontrivial amount of computation to do all the verification afterwards. Back of the envelope calculations suggest it should less than 100x longer to find the two primes than to verify them.
[ Parent | on HN ]
Re:Show HN: New world record – verified Goldbach Conjecture ... by yujzgzc on Saturday April 19, 2025 @01:45PM (#43738032)
It'd be neat to do the verification in the same manner by redistributing one client's results to another, therefore obtaining a proof modulo client collusion.
[ Parent | on HN ]