algorithms432

3 ms·

1. 1.▲
   by algorithms432 1y ago

   "According to a friend, the IMO asked AI companies not to steal the spotlight from kids and to wait a week after the closing ceremony to announce results." I don't see much reason for the poster to lie here. It also aligns wi
2. 2.▲
   by algorithms432 1y ago

   The very tweet you're referencing: "Still, the IMO organizers directly asked OpenAI not to announce their results immediately after the olympiad." (Also, here is the source of the screencap: https://leanprover.zuli
3. 3.▲
   by algorithms432 1y ago

   Well, they deliberately ignored the requests of IMO organizers to not publish AI results for some time (a week?) to not steal the spotlight from the actual participants, so clearly this announcement's purpose is creating hype. Makes me
4. 4.▲
   by algorithms432 1y ago

   Not really. This whole thing looks like a deliberately planned PR campaign, similar to the o3 demo. OpenAI has enough talented mathematicians. They had enough time to just solve the problems themselves. Alternatively, some participants leak