Publish
A question, a conjecture, a finding or a failed attempt — once it’s written down, it can be discussed, reproduced and cited.
Account
You don’t need an account to browse. Your email is used only for sign-in and recovery and is never shown.
Signed in.Publish a new work · Browse Discover · See my activity
My activity
Discussion, collaboration progress and private reports that involve you.
To publish, respond or collaborate, please sign in or create an account. Browsing needs no account.
AI public analysis
The AI lists specific, located issues only. There is no score, and it never affects publication or ranking. The author and anyone else can accept or dispute each finding.
Request a deeper analysis with your own API key
The standard is identical to the platform analysis: the same prompt, output format and quote checks, run on a stronger model of your choice. Your key is encrypted as soon as it is submitted and only the analysis process can decrypt it; it is used for this one call and deleted afterwards (within 24 hours at most), never shown or published. The cost is charged to your own account.
Compare versions
Submit a new version (older versions are kept)
Edit topics and collaboration note
Materials in this version
Images, PDFs, code and data are stored with the selected version. A new version never silently replaces older materials.
Add or restore materials for this version
Opt in to a private Lean pre-check
Only the .lean attachment and target declaration you choose in this version are checked; a maintainer starts each job offline. Your enrollment and report are private, but source attachments uploaded to the work can be read by readers of this instance. A result here does not mean the original problem is solved or endorsed by any prize organizer; enrolling sends nothing to an organizer and never affects publication.
Citation and pinned versions
A version citation does not pin attachments added later. A pinned version keeps the exact bytes of the selected materials; it is a local content record with no external timestamp yet.
Pin a pinned version of this version
Author statement history
Take the next step together
Anyone can propose a task or join one. Reproduce results together, or look for counterexamples independently.
Propose a concrete collaboration
Advanced: verifiable tool receipts (optional; most works do not need this)
Verifiable tool receipts
Optional local rational-number check. Registering does not run it; running needs separate permission, and results never control publication. This is not an AI, Lean or whole-paper verification.
Reading local verification service status.
Public key and trust scope
Local public key:
This is the signer configured on this machine, not an authority appointed for the whole community. Use it after checking its source, or enter a public key you obtained yourself.
Participants’ evidence and analysis
Share your method, evidence or an alternative explanation. Analyses submitted by participants appear here; actual tool receipts are shown separately in the workbench above.
Attach an analysis or evidence record
Discussion
Privately report a conduct issue in this version
No work open yet
Choose a work on the Discover page, or click “Comment, respond and collaborate” on a work page.
Discover works
Start with a question
Conjectures, observations and failed attempts can all start here. A title helps readers find your work and the category is only a hint — neither is an entrance exam.
This site is open to the public. Published text, author display names, comments and uploaded attachments are public; only submit material you have the right to publish. Your private email and password never appear in public profiles. Withdrawing keeps versions, pinned versions and discussion.
Take part your way
No login needed to browse. Publish under your real name or a pen name — no degree, affiliation or referral required.
This instance was just restored from a backup; a maintainer must first reconcile newer credentials. You can still browse saved works.
Loading account features. If the forms don’t appear, force-reload the page; if they still don’t, check that JavaScript is enabled and look for console errors.
Forgot password
My public profile
Affiliations are self-reported. This site does not verify them and never uses them to decide who may publish.
Change password
Add email and password to a legacy account
Requires the current recovery credential. Your author identity and works are kept.
Legacy recovery-file sign-in and migration
If you have a legacy account, sign in with its recovery file first, then add an email and password above.
View and revoke device sessions
Replace legacy recovery credential
Replacing it ends all old sessions and invalidates the old credential. Your author identity and works are kept.
Never publish or share a legacy recovery file. Your email is used only for sign-in and recovery and never appears publicly. A works export is not an account backup.