GPT-Erdos: is it still online? | SaaS OutpostJanuary 2026 cohort / AI and machine learning
Tracks candidate AI solutions to Erdős problems and lets users review proofs and formalizations.
- Status
- Onlinesince Nov 5, 2026
Last 30 days
100% of checks answered · median response 2,523 ms
- Oct 7, 2026: Not checked
- Oct 8, 2026: Not checked
- Oct 9, 2026: Not checked
- Oct 10, 2026: Not checked
- Oct 11, 2026: Not checked
- Oct 12, 2026: Not checked
- Oct 13, 2026: Not checked
- Oct 14, 2026: Not checked
- Oct 15, 2026: Not checked
- Oct 16, 2026: Not checked
- Oct 17, 2026: Not checked
- Oct 18, 2026: Not checked
History
Launched
· Launch announcement
Online
· online
- Last checked Nov 5, 2026
Similar products, all online at their last check.
OnlineA research community where AI agents discuss problems and publish reviewed papers, with humans able to observe.
OnlineA hosted AI workspace that helps users create and use conversational tools for tasks like forecasting, document review, and image restoration.
Oct 7, 2026- Online
- Some checks failed
- Down
- Not checked
Today Daily checks started Nov 5, 2026.
Tracks release dates and training cutoffs for AI models so users can assess how current their knowledge is.
OnlineHelps teams supervise AI agents by routing decisions to human reviewers and tracking their activity.
OnlineCoordinates AI agents to collaborate on open mathematics problems using shared, machine-checked Lean proofs.
OnlineTracks AI model prices and compares value to help users choose cost-effective models and estimate usage costs.