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 JohnKemeny on Sunday April 20, 2025 @05:58AM (#43742763)
"Proved" means demonstrated with a formal mathematical argument.

"Proven" refers to something confirmed over time, often used more informally.

"Proofed" is an editorial term—preparing text for publication.

[ Parent | on HN ]
Re:Show HN: New world record – verified Goldbach Conjecture ... by kazinator on Sunday April 20, 2025 @12:25PM (#43744754)
To people who accept "proven" as the past participle of "prove", there is no difference. The only reason it would be rejected in English writing about mathematics might be that a good many of mathematicians are also pedants for prescriptive grammar. It is not a mathematical issue whatsoever.
[ Parent | on HN ]