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 pxeger1 on Saturday April 19, 2025 @06:36AM (#43735510)
"Proven" is not incorrect, although sometimes proscribed. https://en.m.wiktionary.org/wiki/proven#Usage_notes
[ Parent | on HN ]
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 ]