A watchlist for the curious
We follow selected open problems and engineering milestones, collecting source-linked updates from researchers, labs, blogs, preprint servers, and public conversations. The question is simple: what’s being said, by whom, and where can we read it?
ProofWatch is an independent project. It does not assess mathematical proofs or speak for the researchers and organizations it links to.
How a finding gets here
Look for a useful lead
Automated web searches look for relevant public discussion. Coverage depends on what search can discover; private, deleted, paywalled, and login-only posts may be inaccessible. Checks explicitly search for comments, including pseudonymous reports of lab rumors, scope clarifications, and corrections. We revisit supported Reddit threads through their public comment feeds and Hacker News threads through its public API, with links to the specific entries. We also read exact public Bluesky posts and replies, and supported Mastodon posts, when discovered. New social discussions are found through web search; these are bounded samples rather than complete platform archives. Reddit and X can restrict access, so their coverage remains incomplete. Unversioned paper revisions are not routinely tracked.
Keep it attached to its source
New automated findings need an accessible source and a short excerpt that can be matched to its text. Model-written claims alone are not enough. The opening collection was checked separately during our pilot.
Leave room for uncertainty
We label rumors, discussion, papers, announcements, and upcoming events. Finding a paper does not establish its correctness, and several posts repeating one rumor are still one rumor.
The daily spotlight
“In focus” selects a recent finding from our saved sources once a day. It keeps the source’s discussion or rumor label and stays put when nothing newer has been collected. Selection does not add evidence for a claim.
Dates and quiet watchlists
We distinguish a publication date, an event date, and the date we found a source. If the publication date is unknown, we say so. A comment feed’s update timestamp is not treated as its original posting date. No new findings means we haven’t added anything; it does not imply that no one is making progress.
Your votes and suggestions
Votes express interest in following a topic. They aren’t predictions or judgments about whether a claim is true. Suggestions are public, unverified community contributions and don’t automatically become monitored topics.
There are no accounts. A signed browser cookie remembers your votes for up to a year. Clearing cookies or using another browser can reset that identity. If you opt into the daily email digest, we store your email address, confirmation status and delivery history, and use Resend to send it. Email confirmation is required, and every digest includes an unsubscribe link. We also store votes, suggestions, and temporary rate-limit records; network identifiers in those records are hashed. Hosting providers may maintain operational logs. We don’t use advertising trackers.
Help keep the watchlist running
Support ProofWatch on Buy Me a Coffee. Contributions help cover the daily searches. Following, voting, and suggesting topics remain free.
Buy me a coffeeHave a correction or a good lead?
Include the topic, a source link, and a little context on the community board. Clear corrections and better original sources make the watchlist more useful.
Send a suggestion