Checking Whether Someone Got There First

Why it attracts me

Something that is new to me is not necessarily new to anyone else. The excitement of finding a pattern is real, and it tells me nothing about whether a mathematician found it fifty years ago. I want a habit, and a process, that checks before I celebrate.

The idea

A novelty claim has two parts: the result, and the statement that nobody had it before. The second part needs its own evidence. That means searching papers, databases and reference works, and naming the closest earlier result. In mathematics, a tool like the On-Line Encyclopedia of Integer Sequences lets anyone check whether a list of numbers is already known. This kind of search takes humility about how original an idea really is (Knowing the Limits of What I Know).

An example

My Agentic Maths side quest treats "novel" as more than a yes-or-no answer. A search for earlier work is one of its separate gates, and the page notes that even a result at its highest level might already be known. Agentic Solvers compares how far it checked with the furthest that published work had checked, as far as it could find, and still lists a specialist search of the literature as a step that only people can finish.

Where it connects

Checking for earlier work sits between discovery (AI Systems That Discover, Not Just Summarize) and contribution (Contributing Without Needing the Credit). A rediscovery can still teach me a lot. It just is not a new contribution, and saying so plainly matters. Results that others can rerun (Results That Hold Up When Rerun) make the comparison with earlier work easier too.

Questions I'm still exploring

• How much searching is enough before I can reasonably call a result new?
• How can AI help find earlier work that uses different words for the same idea?
• Is a result still worth sharing if it turns out to be a rediscovery?

Sources and further reading

• The On-Line Encyclopedia of Integer Sequences (OEIS) — A searchable record of known number sequences, often the first check of whether a pattern is already known.
• Robert K. Merton, "Singletons and Multiples in Scientific Discovery", Proceedings of the American Philosophical Society 105 (1961) — A classic study of how the same discovery is often made independently by more than one person.