The Liouville version of the Goldbach conjecture is now fully proven and Lean verified! Every positive even number greater than 2 is the sum of two positive numbers with Liouville value -1.
X (formerly Twitter) ·
The Liouville version of the Goldbach conjecture is now fully proven and Lean verified! Every positive even number greater than 2 is the sum of two positive numbers with Liouville value -1.
