The problem is as follows:
This market resolves yes if a solution to this problem (which I deem correct) is posted in the comments of this market before market resolution. I will answer problem clarifications. Some caveats though
Some people are aware of the solution a priori. If you are one of these people please don't try to interfere with this market :). If I am aware of any interference, I will resolve this market N/A.
This problem has been posted on another forum. If this problem is first solved by someone there, I will ask them if they have bet on this market. If they have not bet on this market, I will resolve this market NO, and if they have, I will resolve it YES. If they don't respond in an ample amount of time that will count as a NO.
You can use LLMs as I can not stop you from doing so regardless.
Update 2026-07-04 (PST) (AI summary of creator comment): A proof is required for a solution to be accepted — simply demonstrating that it works is not sufficient.
1,000🏅 Top traders
| # | Trader | Total profit |
|---|---|---|
| 1 | Ṁ260 | |
| 2 | Ṁ125 | |
| 3 | Ṁ75 | |
| 4 | Ṁ28 | |
| 5 | Ṁ24 |
People are also trading
@Chimpey I am pretty sure this is wrong.
Everything before the Hall's application is correct and standard. The proof is rather unclear on proving the Hall's condition, such that I was not really able to follow what they said.
Nonetheless, the inequality |X| - |N(X)| <= a - b is simply just false, as the left hand side can be 0 even when a is much smaller compared to b, say by taking X as a length 1 horizontal run.
bruhhh...how is chat so dumb. anyone got the 20 or 200 dollar version? or maybe claude? do i need a proof? or can u just test it and realize it works? @Incompleteusern
@Incompleteusern actually? pls dude. no proof. plsssss. market description never specified. Problem also only says "find m(A)" 🥺 I can't even find the normal solution, pls don't make me prove
@Incompleteusern bruh, pls dude. plssssss. plssssssss. i feel like finding the formula is good enough. my proof skills are not rlly top nocth if imma be honest
btw guys, for context, the all america vs other countties math competition is called the IMO. to grt there you first get a good score on the amc 10, make it to AIME, then JMO/USAMO(top 200? in america) and then MOP(top 20 or smth), then IMO then go to compete against other countries. the ELMO, is a student competition for MOP campers, but it seems as if they have been restricted from soing this. so its a decently hard problem...