Zulip Chat Archive

Stream: IMO-grand-challenge

Topics:

A story with nondegeneracy conditions (1 message, latest: Apr 20 2025 at 10:36)
Suggested formalization conventions (55 messages, latest: Apr 20 2025 at 09:56)
AIME 2025 and data contamination (14 messages, latest: Feb 25 2025 at 18:40)
2nd AIMO Progress Prize (43 messages, latest: Jan 27 2025 at 11:44)
general discussion (116 messages, latest: Jan 09 2025 at 02:13)
Putnam 2024 (16 messages, latest: Dec 09 2024 at 19:30)
Anyone tried Lean or Isabelle (like DTV) on AIMO? (1 message, latest: Nov 29 2024 at 16:25)
Collecting scans of pre-2006 IMO papers (1 message, latest: Sep 03 2024 at 22:06)
AI Math Olympiad Prize (139 messages, latest: Jul 25 2024 at 15:42)
Alibaba competition 2024 - AI track (4 messages, latest: Jul 25 2024 at 15:39)
Request for a simple geometry benchmark (2 messages, latest: Mar 14 2024 at 21:17)
open meeting: collaboration towards IMOGC / AIMO Prize (14 messages, latest: Mar 14 2024 at 15:03)
proof of concept solution grader (1 message, latest: Nov 07 2023 at 01:05)
fill in the blank (24 messages, latest: Oct 02 2023 at 13:38)
Current status? (115 messages, latest: Sep 02 2023 at 01:42)
Why is there no formal Geometry data? (2 messages, latest: Mar 30 2023 at 21:09)
stream events (3 messages, latest: Mar 13 2023 at 05:09)
geometry revisited (44 messages, latest: Dec 21 2022 at 14:02)
Article about IMO grand challenge (2 messages, latest: Nov 29 2022 at 00:41)
formalizing IMO problems (125 messages, latest: Nov 14 2022 at 20:53)
✔ recent advance in AI (3 messages, latest: Nov 06 2022 at 17:54)
recent advance in AI (1 message, latest: Nov 06 2022 at 17:13)
Problem 6 from IMO 1988 (3 messages, latest: Oct 14 2022 at 17:59)
NN solves math (4 messages, latest: Feb 02 2022 at 20:00)
IMO 2021 (2 messages, latest: Jul 20 2021 at 21:58)
The Aim and Timeline IMO Grand Challenge (11 messages, latest: May 24 2021 at 22:34)
problems that ask for both data and a proof (18 messages, latest: May 18 2021 at 05:29)
MiniF2F (4 messages, latest: May 10 2021 at 11:48)
F2F (25 messages, latest: May 04 2021 at 10:57)
discrete probability (7 messages, latest: Apr 09 2021 at 03:29)
livestreaming (9 messages, latest: Mar 30 2021 at 15:57)
2013 Q5 (19 messages, latest: Jan 18 2021 at 02:34)
Understanding the Kernel (8 messages, latest: Jan 15 2021 at 20:51)
new repo for IMO questions etc (44 messages, latest: Oct 16 2020 at 04:42)
IMO 2020 (101 messages, latest: Oct 11 2020 at 04:26)
imo label (1 message, latest: Oct 08 2020 at 10:48)
1962 problem 1 (105 messages, latest: Oct 07 2020 at 01:48)
relevant ICLR 2021 submissions (2 messages, latest: Oct 06 2020 at 22:32)
(no topic) (1 message, latest: Oct 06 2020 at 16:40)
Invitation to give (online) expository talk. (7 messages, latest: Oct 05 2020 at 21:11)
1959 problem 1 (18 messages, latest: Oct 01 2020 at 08:33)
1969 problem 1 (2 messages, latest: Sep 25 2020 at 22:00)
Non-F2F format (15 messages, latest: Sep 24 2020 at 22:42)
Easier competitions (21 messages, latest: Sep 24 2020 at 13:06)
AITP invited talk (9 messages, latest: Sep 24 2020 at 03:21)
IMO 2019 shortlist (1 message, latest: Sep 23 2020 at 17:29)
Geometry (17 messages, latest: Sep 23 2020 at 11:13)
One olympiad geometry problem formalised (2 messages, latest: Sep 13 2020 at 01:02)
Some IMO problem solutions formalized in Isabelle/HOL (5 messages, latest: Jun 09 2020 at 18:39)
Is this happening in 2020? (8 messages, latest: May 23 2020 at 11:38)
transition systems (1 message, latest: Mar 09 2020 at 16:55)
solving procedure (3 messages, latest: Feb 23 2020 at 12:45)
geometry problems (14 messages, latest: Feb 18 2020 at 07:31)
Extracting an existential witness (1 message, latest: Jan 07 2020 at 20:42)
Reading list/sample AI (35 messages, latest: Dec 18 2019 at 07:14)
Intermediate Language (8 messages, latest: Oct 23 2019 at 23:01)
folklore problems (3 messages, latest: Oct 23 2019 at 10:34)
problems: the source (12 messages, latest: Oct 06 2019 at 13:15)
How to help? (40 messages, latest: Sep 17 2019 at 19:40)
AI (5 messages, latest: Sep 07 2019 at 14:00)
Team (3 messages, latest: Sep 07 2019 at 13:43)
Inequalities (2 messages, latest: Sep 07 2019 at 11:22)

Last updated: May 02 2025 at 03:31 UTC