A 17-year-old teen refutes a mathematical conjecture proposed 40 years ago(english.elpais.com) |
A 17-year-old teen refutes a mathematical conjecture proposed 40 years ago(english.elpais.com) |
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?
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.