News for hackers. Stuff that matters.
Re:The Mathocalypse by pfdietz on Thursday October 08, 2026 @05:54AM (#50003846)
Finding new simpler proofs happens in traditional manual mathematics too.

There are no comments on this comment yet.