|
|
|
|
|
by letmevoteplease
338 days ago
|
|
The source of this claim is a tweet.[1] The tweet screencaps a mathematician who says they talked to an IMO board member who told them "it was the general sense of the Jury and Coordinators that it's rude and inappropriate for AI developers to make announcements about their IMO performances too close to the IMO." This has now morphed into "OpenAI deliberately ignored the requests of IMO organizers to not publish AI results for some time." [1] https://x.com/Mihonarium/status/1946880931723194389 |
|
(Also, here is the source of the screencap: https://leanprover.zulipchat.com/#narrow/channel/219941-Mach... )