robinhouston on Nostr: An interesting thing about this proof is that it looks as though an earlier draft ...

An interesting thing about this proof is that it looks as though an earlier draft relied on computer assistance – see the author’s code repository at https://github.com/jcpaik/sofa-designer – whereas this preprint contains a proof that “does not require computer assistance, except for numerical computations that can be done on a scientificcalculator.”