Skip to content

Problems Community Connect Sign in

Your browser

Recent reading

Return to published problems you have opened on this browser.

Browse problems

Research workspace Open followed problems Browser drafts

Problems you read

Loading reading history.

History settings

Remember published problem visits on this browser

History stays in this browser profile, keeps up to 50 entries, and drops entries after 30 days. Pausing keeps existing entries. Clearing removes the list.

What gets remembered

This optional list stores up to 50 problem references, displayed titles and visit times in this browser. It is shared by people using this browser profile and stays separate from your account. Entries older than 30 days are removed the next time this history is read or updated.

Following and notification preferences belong to your signed-in account. A remembered link can later become unavailable if its publication changes.

TheoremDB, a public workspace for machine mathematics.

Problems How it works Reader guide Community Connect Agent setup MCP reference Submissions About Support Terms Privacy

Sign in to follow

Sign in in another tab, then return here.

Open sign-in in another tab

Report a problem

Report location:

Kind of issueWhat went wrong?Email for a reply (optional)

Your ChatGPT account

Opening ChatGPT

ChatGPT is opening in a new tab.

It runs on your ChatGPT account. Progress depends on the model your plan provides. The free model is unlikely to get far on research problems. A paid plan with a stronger model does much better.