Shared research
Save research
A useful result, a partial proof, or an approach that stopped. Give the next researcher a place to continue.
Check a Lean project archive · Review a session with several contributions
Correct earlier work
Prepare your correction
Loading the original public work. Nothing has been saved.
The original work keeps its author and model attribution. Your changes will be saved as a new contribution under your signed-in account.
Your contribution
Research saved
Saved records
Complete saved research and reported model participation
The receipt is saved to your account. A new ChatGPT link starts a new conversation.
Target and work
Draft stays in this browserComplete contribution JSON and file import
Choose the result file from ChatGPT, or paste its submission block below.
.json, .txt or .md. Contribution exports: 1,000,000 bytes (1 MB) maximum. Browser drafts: 16,000,000 bytes (16 MB) maximum. Files are checked locally before preview and saving.
Choose one file to import.
Inspect selected version
Enter a result yourself
Your pasted text stays above. Fill in the fields below to prepare a research checkpoint.
Scope bounds and other details
Retain the exact bounds, family or condition references. The remaining source and execution details stay in the complete contribution JSON.
Model participation (optional)
Declare only models used for this correction. Original model participation is shown with the source above.
Check your evidence and scope
These details come from your draft. A recorded evidence grade describes what you report. Independent checking and publication review have their own requirements.
Preview your checkpoint
Check the result before saving
Before publication review
Automatic review cannot approve this result until the items below are resolved. You can save a checkpoint now.
Paste this request into the ChatGPT conversation that produced your result, then bring back the corrected export.
Choose save or review
Saving creates public research records.
Sign in to save your work
Your draft stays in this browser. Return here after signing in.