The purpose of this forum is for human mathematicians to exchange ideas and discuss Erdős problems. While AIs can be useful tools in exploring these problems, this site does not exist to serve as a benchmark for AI progress, or for people to request feedback on their AI-generated proofs if they do not understand them themselves. To encourage the right sort of discussion, please note the following rules.
- AI assistance in generating ideas or helping to formulate the text of a comment is allowed, but should be disclosed. The contents of all comments, including any mathematical claims, should be independently verified by a human before posting here.
- If you do not understand the mathematics yourself, please do not post it here.
- Long proofs (or partial proofs) should not be posted here in full - instead, post a link to an external PDF or similar. Rules 1 and 2 apply - if the PDF is AI-generated, the human user should have carefully read and understood the contents before posting here.
- If you think you have used an AI to solve a problem, please read the advice here carefully first. You should only post here once you have either (a) understood and verified the mathematics yourself, or (b) obtained a sorry and bug-free Lean formalisation of the proof.
- The harder the problem, the higher the bar is for what is considered a useful contribution to the site. For example, if you have a suspiciously short proof of a difficult open problem, in which a key difficulty is waved away without details, this will likely not be allowed. (If you are convinced the proof is correct despite your comment being rejected here, you could either try to formalise the proof in Lean or publish it via traditional methods.)
Any comment breaching any of the above rules will not be shown. Interpretation of the rules is subjective, and at the discretion of the moderators. If you have questions about why a comment was not allowed, you can message
the moderators.
Login or Register
Blog Posts
General Threads
Problem Threads
Solution Claims
(Problems with claimed solutions in the comments section, not yet added to the main site)
190
202
326
514
522
603
610
638
750
856
870
888
906
953
956
995
996
1039
1133
1138
1151
1190
