News for hackers. Stuff that matters.

A comment on A fleet of computers helps settle a 90-year-old math problem. Parent comment

Re:A fleet of computers helps settle a 90-year-old math problem by plafl on Thursday August 27, 2020 @05:02AM (#24291514)
I think the art is moved from the proof itself to translating the proof to computer language.

Edit: typo

[ Parent | on HN ]

There are no comments on this comment yet.