{c}

https://github.com/google-deepmind/formal-conjectures


Formal Conjectures

Kolakoski sequence

Class of algorithm

Conjecture by Erdős

{c}
{tag=Conjecture by Erdős}

https://www.erdosproblems.com/

Cool website tracking the status of varios


erdosproblems.com

= ARC-AGI-2 public evaluation dataset
{synonymNoScope}


Eval

ARC-AGI-2 problem / List / Eval

= ARC-AGI-2 training dataset
{synonymNoScope}


Train

ARC-AGI-2 problem / List / Train

{title2=6}

https://arcprize.org/play?task=0520fde7


0520fde7

ARC-AGI-1 problem / 0520fde7

007bbfb7

ARC-AGI-1 problem / 007bbfb7

ARC-AGI-1 problem / Eval

= ARC-AGI-1 training problem
{synonymNoScope}


ARC-AGI-1 problem / Train

ARC-AGI-1 problem

{c}

https://github.com/arc-dsl-2/arc-dsl-2

<Ciro Santilli>'s fork of <ARC-DSL> merging all pull requests needed to make tests run again on <Ubuntu 25.04>.

ARC-DSL-2

{c}

https://github.com/michaelhodel/arc-dsl

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:
* https://github.com/michaelhodel/arc-dsl/blob/635de4902a5fb4e376f27333feaa396d3f5dfdcb/dsl.py[dsl.py]: defines the transformations as Python functions
* https://github.com/michaelhodel/arc-dsl/blob/635de4902a5fb4e376f27333feaa396d3f5dfdcb/solvers.py[solvers.py]: defines solvers for the 400 \x[ARC-AGI-1 training problems]{magic}

Intended usage to run the solvers seems to be:
``
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.py
``
Unfortunately this blows up on <Ubuntu 25.04> on `test_mpapply` apparently due to a <Python 3.12> issue and the pull request https://github.com/michaelhodel/arc-dsl/pull/7 has been ignored for more than one year, so the project is largely dead.

ARC-DSL

{c}

The guy behind <Tufa Labs>https://tufalabs.ai/team.html{ref}:
* https://github.com/pinouchon
* https://pinouchon.github.io
* https://www.youtube.com/benjamincrouzier He's also a Kapla wooden block fanatic. Funnily <Ciro Santilli> had seen his channel before knowing about his involvement with AI while researching for children's toys gifts.

Ciro Santilli @cirosantilli 40