News for hackers. Stuff that matters.

A comment on Titans of Mathematics Clash Over Epic Proof of ABC Conjecture. Parent comment

Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by mehrdadn on Thursday September 20, 2018 @05:17PM (#18035544)
Edit: never mind, it seems I confused deriving a proof with verifying it!
[ Parent | on HN ]
Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by nabla9 on Thursday September 20, 2018 @05:22PM (#18035580)
vbezhenar is talking about verifying proofs not finding proofs.

Computers can easily verify that proof is correct once the proof is written down using formal semantics. Proof checkers already exist.

[ Parent | on HN ]
Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by mehrdadn on Thursday September 20, 2018 @05:32PM (#18035649)
Great point, thank you!
[ Parent | on HN ]