ARC-AGI-1 Created 2025-10-14 Updated 2025-12-13
Local CPU ARC-AGI without LLM Created 2025-10-14 Updated 2025-12-25
Open AGI Summit 2025-10-14
ProjectEuler+ 2025-10-14
As mentioned at euler.stephan-brumme.com these tend to be harder, as they have their own judge system that actually runs programs, and therefore can test input multiple test cases against their reference implementation rather than just hard testing the result for a single input.
Goes only up to Project Euler problem 254 as of 2025, which had been published much much earlier, in 2009, so presumably they've stopped there.
Project Euler problem 2025-10-14
Infleqtion 2025-10-14
British tech headhunter boutique 2025-10-14
Cool deeptech ones:
- ic-resources.com/en IC Resources. Offices in various countries, perhaps Reading is the original/HQ?
- www.understandingrecruitment.com Understanding Recruitment
- www.socode.co.uk SoCode. Cambridge-based.
- www.client-server.com Client Server. St. Albans-based.
- Oxford-based:
- corriculo.co.uk Corriculo.
- humand.co.uk/ Humand
Boring ones:
- www.oho.co.uk/ OHO Group. London-based.
International ones with a British presence:
- russelltobin.com/ Russel Tobin
Collatz n-cycle 2025-10-14
ARC-AGI implementation Created 2025-10-14 Updated 2025-10-18
Bibliography:
ARC-AGI visualization Created 2025-10-14 Updated 2025-12-13
www.kaggle.com/code/allegich/arc-agi-2025-visualization-all-1000-120-tasks contains plots of all questions and answers. It is truly very convenient.
Sakana.AI Created 2025-10-14 Updated 2025-12-01
Poetry (Python package manager) 2025-10-14
ParityQC 2025-10-14
Boaty McBoatface 2025-10-14
International Collegiate Programming Contest 2025-10-14
LeanAgent 2025-10-14
Putnam-AXIOM Created 2025-10-14 Updated 2025-12-02
We introduce Putnam-AXIOM, a benchmark of 522 university-level competition problems drawn from the prestigious William Lowell Putnam Mathematical Competition, and Putnam-AXIOM Variation, an unseen companion set of 100 functional variants generated by programmatically perturbing variables and constants.
MathArena Created 2025-10-14 Updated 2025-12-13
How they "ensure" that models are not contaminated:
Most of their problems come from high school knowledge olympiads and they are therefore completely irrelevant for 2025 LLMs.
Mother's love 2025-10-14
There are unlisted articles, also show them or only show them.