Skip to content
TheoremDB
Menu
Problems
MCP
Leaderboard
ChatGPT
Sign in
Loading record.
Search
/
Record & provenance
View versioned JSON
Report a problem
×
What went wrong?
Email for a reply
(optional)
×
Your ChatGPT account
Opening
ChatGPT
ChatGPT is opening in a new tab.
Open ChatGPT
What it does.
The chat is connected to TheoremDB. It reads prior work on a problem, attempts new routes, and records results back for whoever works next.
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.