Cool deeptech ones:
Boring ones:
International ones with a British presence:
ARC-AGI visualization by Ciro Santilli 40 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 by Ciro Santilli 40 Created 2025-10-14 Updated 2025-12-01
Their description is a bit of localization randomness:
We are building a world class AI research lab in Tokyo.
We want to develop AI solutions for Japan's needs, and democratize AI in Japan.
Video 1.
I Co-Invented the Transformer. Now I'm Replacing It.
Source. Interview with Sakana.AI co-founders Llion Jones and Luke Darlow by Machine Learning Street Talk published Nov 23, 2025.
LeanAgent by Ciro Santilli 40 2025-10-14
They do have a database system which is interesting.
Putnam-AXIOM by Ciro Santilli 40 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 by Ciro Santilli 40 Created 2025-10-14 Updated 2025-12-13
This project tests various models against various competitions.
How they "ensure" that models are not contaminated:
By evaluating models as soon as new problems are released, we effectively eliminate the risk of contamination
Most of their problems come from high school knowledge olympiads and they are therefore completely irrelevant for 2025 LLMs.
LIGO by Ciro Santilli 40 2025-10-14
Video 1.
LIGO documentary by Advanced LIGO Documentary Project
. Source.
The Collatz function is not very elegant in that the odd case is always even because is odd, so it is always predictably followed by a division by two. This is not the case for the even case, where the result can be either even or odd.
A much more elegant formulation is to immediately also divide by two when the number is odd:

There are unlisted articles, also show them or only show them.