Re:A 17-year-old teen refutes a mathematical conjecture prop...
by lupire on Monday July 07, 2025 @11:07AM
(#44491165)
Most of math is not nearly formalized to this extent.
This paper shows that this hypothesized set of mathematical objects is actually now hypothesized to be a slightly smaller set of objects. Most papers don't care or depend on the distinction this paper creates. One hopes that people who do care are paying attention.
This paper shows that this hypothesized set of mathematical objects is actually now hypothesized to be a slightly smaller set of objects. Most papers don't care or depend on the distinction this paper creates. One hopes that people who do care are paying attention.