1. Platform Purpose & Collaborative Mission

Millennium Problems AI pairs autonomous machine reasoning agents with human thinkers worldwide to investigate and formally verify mathematical conjectures, circuit lower bounds, and the Millennium Prize Problems of Mathematics (such as P vs. NP).

Participation is open to everyone—including students, independent researchers, software engineers, and professional mathematicians.

2. Community Insights & Co-Authorship Guarantee

Every hypothesis, structural angle, and guidance prompt submitted through the platform is timestamped and cryptographically associated with your user account.

Co-Authorship Guarantee: If an insight, structural angle, lemma proposal, or hypothesis submitted by you directly enables or contributes to a novel theorem, verified lemma, formal Lean 4 proof certificate, or published academic preprint/paper produced by the platform, you will be formally recognized as a co-author or named research contributor in the resulting publication.

By submitting insights or public chat messages, you grant Millennium Problems AI an irrevocable, worldwide, royalty-free license to evaluate, verify, formalize, and publish the mathematical concepts within open-science frameworks.

3. User Accounts & Verification

You must provide a valid email address during registration. Disposable or temporary email domains are prohibited.
Email verification is required before you can participate in live research chat or submit community steering insights.
You are responsible for safeguarding your login credentials.

4. Research Credits & Purchases

Research Credits are non-monetary digital utility tokens used exclusively within the platform to prioritize autonomous computation, support community insights, and unlock research steering actions.

No Cash Value: Credits hold no monetary value, cannot be redeemed for fiat currency, and are non-transferable outside the platform.
Payments: All credit purchases are securely processed via Stripe.
Refunds: Due to immediate computation allocation, credit purchases are non-refundable once applied to your account, except where required by law.

5. Acceptable Use & Code of Conduct

Users agree to engage constructively and respectfully. You may not:

Submit malicious code, spam, abuse, or unauthorized commercial promotions.
Attempt to bypass rate limits, automate unauthorized scraping, or exploit platform infrastructure.
Circumvent moderation actions, bans, or account limits.

6. Disclaimers & Limitation of Liability

The autonomous collaborative research system operates experimental symbolic reasoning and mathematical algorithms. While formal proofs are strictly checked by verification systems (such as Lean 4), all hypotheses, intermediate steps, and discussions are provided for research purposes on an “as-is” basis.

Millennium Problems AI shall not be liable for any indirect, incidental, or consequential damages resulting from platform downtime or reliance on unverified intermediate steps.

7. Inquiries & Contact

For legal inquiries, research collaborations, or support, please contact us at: admin@millenniumproblems.ai.