On: My favorite prime number generator

[tromp]

My favorite prime number generator is

    ┬─┬───────────────────────────────────┬──── ────┬
    │ │ ┬─┬ ────┬─┬────────────────────── ┼───┬ ┬───┼
    │ │ └─┤ ────┼─┼───────────────────┬── ┼───┼ │ ┬ │
    │ │   │ ┬───┼─┼───────────────────┼── ┼─┬─┼ │ ┼ │
    │ │   │ │ ─ ┼─┼─┬─────┬──── ──────┼─┬ │ ├─┘ └─┤ │
    │ │   │ │ ┬ └─┤ │ ┬─┬ ┼─┬─┬ ──┬───┼─┼ ├─┘     ├─┘
    │ │   │ └─┤   └─┤ └─┤ │ ├─┘ ──┼─┬─┼─┼ │       │
    │ │   │   │     │   │ ├─┘   ┬─┼─┼─┼─┼ │       │
    │ │   │   │     │   ├─┘     └─┤ │ ├─┘ │       │
    │ │   │   │     └───┤         │ ├─┘   │       │
    │ │   │   │         │         ├─┘     │       │
    │ │   │   │         ├─────────┘       │       │
    │ │   │   ├─────────┘                 │       │
    │ │   └───┤                           │       │
    │ │       ├───────────────────────────┘       │
    │ ├───────┘                                   │
    └─┤                                           │
      └───────────────────────────────────────────┘

which graphically depicts the 167-bit lambda term

    λ 1 (1 ((λ 1 1) (λ λ λ 1 (λ λ 1) ((λ 4 4 1 ((λ 1 1) (λ 2 (1 1)))) (λ λ λ λ 1 3 (2 (6 4))))) (λ λ λ 4 (1 3)))) (λ λ 1 (λ λ 2) 2)

which generates the characteristic sequence of primes [1] [2].

[1] https://tromp.github.io/cl/cl.html

[2] https://github.com/tromp/AIT/blob/master/characteristic_sequ...

[cobaltoxide → tromp]

Could you explain it? Those two links are Greek to me.

[tromp → cobaltoxide]

The first link starts out as:

> On Pi day 2023 I gave an online talk about AIT and BLC based on these slides.

Perhaps watching the linked-to talk will somewhat clarify matters.

[pixelpoet → tromp]

Super cool to see one of the authors of the most popular Go scoring methods (particularly for MCTS) posting here :) Respect and thanks!

[mratsim → pixelpoet]

Tromp-Taylor ruleset?

[pixelpoet → mratsim]

Yep, seems to be the guy :)

[hgsgm → tromp]

What's the "characteristic sequence"?

[hidroto → hgsgm]

its a list with each prime index contains a one/true value