News for hackers. Stuff that matters.

A comment on Monumental advance in number theory posted to the ArXiv by Yitang Zhang. Parent comment

Re:Monumental advance in number theory posted to the ArXiv b... by SkyMarshal on Tuesday November 08, 2022 @01:13AM (#33516381)
> Perhaps we could then rely on computer assisted theorem provers.

Or AI, particularly if we figure out AGI.

[ Parent | on HN ]

There are no comments on this comment yet.