open meeting: collaboration towards IMOGC / AIMO Prize

Stream: IMO-grand-challenge

[David Renshaw]

Hi everyone!

Next week, I'll be hosting an informal virtual meetup for anyone interested in collaborating towards the IMO Grand Challenge and/or AIMO Prize. The main point will be to get people to meet each other. I can start with some show-and-tell of what I've been working on, and we can open the floor for anyone else with something to share.

The meeting will be at 2024-02-29T11:00:00-05:00. For a link to the video chat, see this calendar and in particular this event.

[David Renshaw]

I've posted an invite on the EleutherAI Discord as well. Maybe we can get some good crossover between the communities.

[Kevin Cheung]

What kind of skills does one need to have for this collaboration?

[David Renshaw]

There are potentially lots of ways to contribute. I encourage you to attend if you think the project sounds interesting, regardless of your prior skills.

[Johan Commelin]

PSA: This meeting is starting in 15 mins.

[David Renshaw]

https://meet.google.com/bey-caaj-zbd
I made the meeting "open to join" so that I don't need to manually approve everyone.

[David Renshaw]

15 or so people showed up, and there seemed to be sufficient interest for a follow-up meeting. So I added an event on the calendar for two weeks from now: 2024-03-14T11:00:00-04:00

[David Renshaw]

(Same time slot, because nobody complained about it.)

[Kevin Buzzard]

(because all the people who couldn't make that time slot didn't show up ;-) )

[David Renshaw]

Reminder (because timezones are weird): today's meeting is at 2024-03-14T11:00:00-04:00, which is 2.75 hours from now.

[David Renshaw]

https://meet.google.com/spa-yhps-awo

[Oliver Nash]

Are these public / recorded?

[David Renshaw]

public, not recorded as now, but could consider that in the future

[Mirek Olšák]

AMC12 and AIME in Json
http://olsak.net/mirek/aimo-datasets/