undefined | Better HN

0 pointsthrdbndndn1y ago0 comments

Ah, thanks. That makes a lot of sense now.

0 comments

One more trick: They look for both proofs and disproofs. So even if they failed the formalization and created a "wrong" theorem, it's just another task.

j / k navigate · click thread line to collapse

0 pointsthrdbndndn1y ago0 comments

Ah, thanks. That makes a lot of sense now.

0 comments

thomasahle1y ago

One more trick: They look for both proofs and disproofs. So even if they failed the formalization and created a "wrong" theorem, it's just another task.

j / k navigate · click thread line to collapse