❯ GPT-6 Astra is credited with a Liouville–Goldbach proof; the classical conjecture remains open

Public claimA public mathematics project credits GPT-6 Astra with an unconditional proof of a Liouville–Goldbach statement: every even integer greater than two is the sum of two positive integers whose Liouville-function values are both minus one. The project includes a paper and Lean 4 files; an external account reports an independent rebuild.

Precise boundaryA Liouville-function condition is not the requirement that both numbers be prime, so this does not prove the classical Goldbach conjecture. The project says it removes earlier generalized-Riemann-hypothesis and sufficiently-large-number conditions. A successful formal replay helps audit the proof chain but does not settle novelty, attribution or research significance.

Research processIf further review holds, this would illustrate a workflow in which a model helps discover a route and formal tools check it. The model’s exact contribution remains difficult to separate from human prompting, selection and editing without a complete interaction record.

▪ SIGNALThe strongest follow-up is to establish how the proof route was found and whether independent mathematicians can fully reproduce it.