Ciro Santilli @cirosantilli 37

Interesting looking repo with optional GPU and optional LLM.

It seems to have been tested on something older than Ubuntu 24.04, as 24.04 install requires some porting, started process at: github.com/cirosantilli/ARC-AGI-solution/tree/ubuntu-24-04 but gave up to try Ubuntu 22.04 instead.

Ubuntu 22.04 Docker install worked without patches, after installing Poetry e.g. to try and solve 1ae2feb7:

git clone https://github.com/aviad12g/ARC-AGI-solution
cd ARC-AGI-solution
git checkout f3283f727488ad98fe575ea6a5ac981e4a188e49
poetry install
git clone https://github.com/arcprize/ARC-AGI-2
`poetry env activate`
export PYTHONPATH="$PWD/src:$PYTHONPATH"
python3 -m arc_solver.cli.main solve ARC-AGI-2/data/evaluation/1ae2feb7.json

but towards the end we have:

{
  "success": false,
  "error": "Search failed: no_multi_example_solution",
  "search_stats": {
    "nodes_expanded": 21,
    "nodes_generated": 903,
    "termination_reason": "no_multi_example_solution",
    "candidates_generated": 25,
    "examples_validated": 3,
    "validation_success_rate": 0.0,
    "multi_example_used": true
  },
  "predictions": [
    null,
    null,
    null
  ],
  "computation_time": 30.234344280001096,
  "task_id": "1ae2feb7",
  "task_file": "ARC-AGI-2/data/evaluation/1ae2feb7.json",
  "solver_version": "0.1.0",
  "total_time": 30.24239572100123,
  "timestamp": 1760353369.9701269
}

Task: 1ae2feb7.json
Success: False
Error: Search failed: no_multi_example_solution
Multi-example validation: ENABLED
Training examples validated: 3
Candidates generated: 25
Validation success rate: 0.0%
Computation time: 30.23s
Total time: 30.24s

so it failed.

Let's see if any of them work at all as advertised:

ls ARC-AGI-2/data/evaluation/ | xargs -I'{}' python3 -m arc_solver.cli.main solve 'ARC-AGI-2/data/evaluation/{}' |& tee tmp.txt

and at the end:

grep 'Success: True' tmp.txt | wc

has only 7 successes.

Also weirdly

grep 'Success: True' tmp.txt | wc

only has 102 hits, but there were 120 JSON tasks in that folder. I search for the missing executions:

diff -u <(grep Task: tmp.txt | cut -d' ' -f2) <(ls ARC-AGI-2/data/evaluation)

The first missing one is 135a2760, it blows up with:

ERROR: Solve command failed: Object of type HorizontalLinePredicate is not JSON serializable

and grepping ERROR gives us:

ERROR: Solve command failed: Object of type HorizontalLinePredicate is not JSON serializable
ERROR: Solve command failed: Object of type SizePredicate is not JSON serializable
ERROR: Solve command failed: Object of type HorizontalLinePredicate is not JSON serializable
ERROR: Solve command failed: Object of type HorizontalLinePredicate is not JSON serializable
ERROR: Solve command failed: Object of type ndarray is not JSON serializable
ERROR: Solve command failed: Object of type HorizontalLinePredicate is not JSON serializable
ERROR: Solve command failed: Object of type ndarray is not JSON serializable
ERROR: Solve command failed: Object of type HorizontalLinePredicate is not JSON serializable
ERROR: Solve command failed: Object of type VerticalLinePredicate is not JSON serializable
ERROR: Solve command failed: Object of type VerticalLinePredicate is not JSON serializable
ERROR: Solve command failed: Object of type ndarray is not JSON serializable
ERROR: Solve command failed: Object of type VerticalLinePredicate is not JSON serializable
ERROR: Solve command failed: Object of type ndarray is not JSON serializable
ERROR: Solve command failed: Object of type HorizontalLinePredicate is not JSON serializable
ERROR: Solve command failed: Object of type HorizontalLinePredicate is not JSON serializable
ERROR: Solve command failed: Object of type HorizontalLinePredicate is not JSON serializable
ERROR: Solve command failed: Object of type VerticalLinePredicate is not JSON serializable
ERROR: Solve command failed: Object of type VerticalLinePredicate is not JSON serializable

Reported at: github.com/aviad12g/ARC-AGI-solution/issues/1

 Read the full article

Project Euler problem 910 Created 2025-10-14 Updated 2025-11-23

 View more

projecteuler.net/problem=910

Numerical solution from github.com/lucky-bai/projecteuler-solutions/issues/102:

547480666

A(x) = x + 1
Z(u)(v) = v
S(u)(v)(w) = v(u(v)(w))

Let's resolve the second example ourselves:

S
  (S)
  (S(S))
  (S(Z))
(A)
(0)

S
(S)
(
  S
  (S(S))
  (S(Z))
)
(A)
(0)

S
(S(S))
(S(Z))
(
  S
  (
    S
    (S(S))
    (S(Z))
  )
  (A)
)
(0)

S
(Z)
(
  S(S)
  (S(Z))
  (
    S
    (
      S
      (S(S))
      (S(Z))
    )
    (A)
  )
)
(0)

S(S)
(S(Z))
(
  S
  (
    S
    (S(S))
    (S(Z))
  )
  (A)
)
(
  Z
  (
    S(S)
    (S(Z))
    (
      S
      (
        S
        (S(S))
        (S(Z))
      )
      (A)
    )
  )
  (0)
)

S
(S)
(S(Z))
(
  S
  (
    S
    (S(S))
    (S(Z))
  )
  (A)
)
(0)

TODO: how long would this be?

So we see that all of these rules resolve quite quickly and do not go into each other. S however offers some problems, in that:

C_0 = Z
C_i = S(C_{i-1})
D_i = C_i(S)(S)

So we see that D_i goes somewhat simply into C_i, and C_i is recursive giving:

S^i(Z)

Calculate the nine first digits of:

D_a(D_b)(D_c)(C_d)(A)(e)

Removing D_a:

S^i(Z)S)(S)(D_b)(D_c)(C_d)(A)(e)

 Read the full article

Project Euler problem 254 2025-10-14

 View more

projecteuler.net/problem=254

 Read the full article

Project Euler problem 1 2025-10-14

 View more

projecteuler.net/problem=1

Solution:

Solutions to the ProjectEuler+ version:

euler/1.py

The original can be found with:

printf '1\n1000\n' | euler/1.py

 Read the full article

Project Euler problem zero Created 2025-10-14 Updated 2025-10-27

 View more

This was a registration CAPTCHA problem as of 2025:

Among the first 510 thousand square numbers, what is the sum of all the odd squares?

Python solution:

s = 0
for i in range(1, 510001, 2):
    s += i*i
print(s)

At: euler/0.py

 Read the full article

Collatz cycle length lower bound 2025-10-14

 View more

www.sciencedirect.com/science/article/pii/0012365X9390052U?via%3Dihub

 Read the full article

Collatz 1-cycle 2025-10-14

 Read the full article

ARC-AGI-3 2025-10-14

 View more

They are moving to 2D voxel games

 Read the full article

ARC-AGI-1 2025-10-14

 Read the full article

Local CPU ARC-AGI without LLM Created 2025-10-14 Updated 2025-10-27

 View more

iliao2345.github.io/blog_posts/arc_agi_without_pretraining/arc_agi_without_pretraining.html

 Read the full article

Open AGI Summit 2025-10-14

 View more

openagi.xyz/

The tagline smells like bullshit:

Integrating AI with web3 and decentralized ecosystems

 Read the full article

ProjectEuler+ 2025-10-14

 View more

www.hackerrank.com/contests/projecteuler/challenges

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.

 Read the full article

Project Euler problem 2025-10-14

 Read the full article

Infleqtion 2025-10-14

 View more

infleqtion.com/

 Read the full article

British tech headhunter boutique 2025-10-14

 View more

Cool deeptech ones: