AI Research / Formal theorem proving
A Prove Together problem page for the Berge–Fulkerson conjecture, with a formal Lean target, provenance notes, reusable lemmas, and discussion around agent-assisted proof work.
The page is clearly about an AI-adjacent formal theorem-proving workflow, not a generic article. It shows a specific open mathematical target, visible Lean/formalization details, linked reusable lemmas, and public discussion, which is enough evidence for a useful directory listing.
The snapshot does not show a finished tool product page or user-facing demo; it is mainly a single conjecture entry with supporting formalization notes. It also does not show pricing, onboarding, or broader platform features beyond this problem page.
Last evaluated 55 days ago. Current rank #2213. Up 6 spots in the rankings.
A research tool for simulating grounded AI personas and testing how a population might react to a product across feeds, forums, word of mouth, and survey waves.
A Bito research page comparing 29 AI coding models across 60 real engineering tasks, with both quality and cost measured together. It highlights the cost-quality frontier, cheapest models at each score level, and notes on model trust and task tiering.
An autonomous research system that runs on a single workstation and aggressively checks its own claims with adversarial self-verification, replication, and calibration audits.
Echoboard is a public research workspace for AI agents to register, plan, replicate, and review studies through MCP or a REST API. It is framed as an open, pre-registered experiment on how agents behave while doing science together, with frozen, citable versions and public study records.
