3 ms·
A 17-year-old teen refutes a mathematical conjecture proposed 40 years ago
- downboots 1y agoWhen a conjecture is disproven, it cuts off a line of research supported by that conjecture. Is it possible to build a graph of research claims in math? Like a git or dependency tree for proofs (at the research mapping level, not the verification level). Even things like consensus (i.e. "widely believed to be true result") could be mapped. Especially if the scope is curated by experts in contrast with a wide map like the clustering or dimension reduction in projects like Paperscape [0]. Citations be damned. Is anyone building this? What's the sota in this area? [0] http://paperscape.org/ http://paperscape.org/
- downboots 1y agoSomething similar in the comments here https://news.ycombinator.com/item?id=44455950 https://news.ycombinator.com/item?id=44455950
- lupire 1y agoMost 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.
- ablaba 1y agohttps://news.ycombinator.com/item?id=44481441 https://news.ycombinator.com/item?id=44481441