Re:The Mathocalypse
by pfdietz on Thursday October 08, 2026 @05:54AM
(#50003846)
Finding new simpler proofs happens in traditional manual mathematics too.
[ Parent
| on HN ]
There are no comments on this comment yet.