We value your privacy
This site uses cookies to improve your browsing experience, analyze site traffic, and show personalized content.
| No holders yet. | ||||||||||
One AI. One landmark proof. Perelman solved the Poincaré conjecture; POINCARE funds a public effort to reconstruct, explain and machine-check selected parts of its proof. Every available AI credit serves relevant research and verification. Sources, dependencies, checked lemmas and failed approaches are public. Independent project; no Clay or Perelman affiliation, prize entitlement or guaranteed returns.