3 ms·
The very tweet you're referencing: "Still, the IMO organizers directly asked OpenAI not to announce their results immediately after the olympiad." (Also, here
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.zulipchat.com/#narrow/channel/219941-Machine-Learning-for-Theorem-Proving/topic/Blind.20Speculation.20about.20IMO.202025/near/529569966 https://leanprover.zulipchat.com/#narrow/channel/219941-Mach... )
- letmevoteplease 1y agoThe tweet is not an accurate summary of the original post. The person who said they talked to the organizer did not say that. And now we are relying on a tweet from a person who said they talked to a person who said they talked to an organizer. Quite a game of telephone, and yet you're presenting it as some established truth.
- 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 with with what the people on the leanprover forum are saying, and, most importantly, with DeepMind not announcing their results yet. Edit: multiple other AI research labs have also claimed that IMO asked them to not announce their results for some time (i.e. https://x.com/HarmonicMath/status/1947023450578763991 https://x.com/HarmonicMath/status/1947023450578763991 )