People who do cool open tech stuff when don't need money anymore are awesome:
- François Chollet, project founder: www.linkedin.com/in/fchollet/ 9 years at Google from 2015 to 2024. He founded ARC while he was still at Google though, so maybe doesn't coun
- Cristiano Calgano from cristianoc/arc-agi-2-abstraction-dataset. Imperial College London researcher who founded a formal verification company and sold it to Facebook where he staid for 7 years
- Benjamin Crouzier from Tufa Labs
Benjamin has a masters in Computer Science and applied ML to quant finance previously, tufalabs.ai/team.html mentions:
From another awesome retired tech bro that does this project for fun.
Cool website tracking the status of varios
Ciro Santilli's fork of ARC-DSL merging all pull requests needed to make tests run again on Ubuntu 25.04.
This interesting repo defines a set of input transformations that can be composed together into programs to generate the solve ARC problems.
It does not appear to have any program synthesis: it only defines the DSL and then provides manual solutions to the problems.
The README is lacking as usual, an overview of the files is:
- dsl.py: defines the transformations as Python functions
- solvers.py: defines solvers for the 400 ARC-AGI-1 training problems
Intended usage to run the solvers seems to be:Unfortunately this blows up on Ubuntu 25.04 on
git clone https://github.com/fchollet/ARC-AGI
cd ARC-AGI
git checkout 399030444e0ab0cc8b4e199870fb20b863846f34
git clone https://github.com/michaelhodel/arc-dsl
cd arc-dsl
git checkout 635de4902a5fb4e376f27333feaa396d3f5dfdcb
python main.pytest_mpapply apparently due to a Python 3.12 issue and the pull request github.com/michaelhodel/arc-dsl/pull/7 has been ignored for more than one year, so the project is largely dead.The rich guy behind Tufa Labs:
- github.com/pinouchon
- pinouchon.github.io
- www.youtube.com/benjamincrouzier He's also a wooden block fanatic. Funnily Ciro Santilli had seen his channel before knowing he was rich. www.youtube.com/watch?v=5HyYyXHSW74 shows probable home and could likely be geolocated.
- tufalabs.ai/team.html describes how he made his money:
Benjamin has a masters in Computer Science and applied ML to quant finance previously.
There are unlisted articles, also show them or only show them.