[math-fun] Goldbach conjecture update