Terms
Terms of use
qed.bot is run by The Logic Company. These terms cover your use of qed.bot, including accounts, discussion, bounties and games. Creating an account means you accept them. How we handle personal data is set out in the privacy policy.
The register
The register records what has been claimed about artificial intelligence and mathematics, what evidence is attached, and what has been checked. Its grades describe that evidence; they are not a verdict on the mathematics. It is assembled from public sources, which are cited, and it can be wrong. Corrections are welcome at hello@qed.bot. Do not rely on it as the only basis for a decision that matters to you.
Accounts
Accounts are free and for people aged 16 and over. Keep one account, give accurate information, and keep your ways of signing in secure: you are responsible for what is done from your account.
Community rules
Keep discussion about the mathematics and the evidence. Do not:
- harass, threaten or abuse anyone, or post hateful content;
- post anyone's personal information, or anything unlawful;
- impersonate anyone, or misrepresent who did a piece of work;
- spam, advertise, or post malicious links or code;
- manipulate votes, whether with several accounts or by coordinating with others;
- post work that is not yours to share.
Votes express readers' opinions and never change a grade. Anyone can report a post or reply, and we may hide content, remove it, or suspend accounts that break these rules.
What you post
You keep ownership of what you post. You give The Logic Company a worldwide, non-exclusive, royalty-free licence to host, display and link to it on qed.bot. When you delete your account, your posts and replies stay, attributed to a deleted account, so that discussions remain readable.
Bounties
A bounty is a pledge from one person to whoever first proves a statement to the standard of qed.bot's checker: a proof that builds at a pinned commit and rests on the standard axioms alone.
- The pledger alone is responsible for paying. qed.bot holds, moves and guarantees no money, and is not a party to any agreement between a pledger and a claimant.
- The checker's verdict records whether a proof meets that standard. It is not a legal determination, and any dispute about payment is for the pledger and claimant to settle.
- Pledge only what you intend to pay. We may remove bounties or claims that look fraudulent or unlawful.
Games
The games are for enjoyment. They carry no prizes, and scores and leaderboards may be reset.
The service
qed.bot is provided as it is. We may change, pause or end any part of it, and we do not promise that it will always be available or free of errors.
Liability
As far as the law allows, The Logic Company is not liable for indirect or consequential loss, or for loss arising from reliance on the register. Nothing in these terms limits liability for death or personal injury caused by negligence, for fraud, or for anything else that the law does not allow to be limited, and nothing affects your statutory rights as a consumer.
Ending
You can delete your account at any time from your account page. We may suspend or close an account that breaks these terms.
Law
These terms are governed by the law of England and Wales, and disputes belong to the courts of England and Wales. If you live elsewhere, you keep any protection your local law gives you.
Changes and contact
When these terms change, the date at the top changes with it, and significant changes are announced to account holders by email before they take effect. Write to hello@qed.bot with any question.