$10M AI Mathematical Olympiad Prize(aimoprize.com)

236 points by jasondavies 2 years ago | 164 comments

Evidence of inconsistencies in evaluation process and selection of winners(kaggle.com)

446 points by twerkmeister 3 months ago | 276 comments

A Kaggle discussion post alleging inconsistencies in the judging and winner selection of the 'Measuring Progress Toward AGI' competition, citing the Medley Bench grand prize winner.

AI solves International Math Olympiad problems at silver medal level(deepmind.google)

1300 points by ocfnash 2 years ago | 496 comments

Google DeepMind blog post announcing AlphaProof and AlphaGeometry 2 reaching silver-medal standard on International Mathematical Olympiad problems.

In a cold day of late winter a new search experience came out(lexy.uno)

16 points by deniscartin 1 year ago | 13 comments

Show HN: Maths, CS and AI Compendium(github.com)

71 points by HenryNdubuaku 8 months ago | 16 comments

ML Code Exercises(deep-ml.com)

179 points by mchab 2 years ago | 51 comments