ARC-AGI-2 problem / List / 3e6067c3 Created 2025-03-28 Updated 2025-07-16
Input primitives:
Transformations primitives:
  • line drawing
ARC-AGI-2 problem / List / 1ae2feb7 Created 2025-03-28 Updated 2025-07-16
To the left of the vertical red line, count the number of each color on each row.
Then to the right, on each line draw one square of each color to the left every n columns, starting with a square on the first column to the right of the red line, where n is the count of that color.
Start with the color furthest away from the red line, and then color with colors nearer to the red line. If there's overlap, replace the old color with the new one.
Output:
ARC-AGI-2 problem / Primitive Created 2025-03-28 Updated 2025-07-16
These section lists common visual primitives that a solver must first extract in order to infer solutions.
Some of these have a lot of prior world content, others less.
Many people have come up with the same idea on the Discord. Some nicely call it DSL.
List of Bitcoin addresses Created 2025-03-28 Updated 2025-07-16
Bitcoin vanity address Created 2025-03-28 Updated 2025-07-16
Some early ones we can find:
1Ga9Dizn1p6ctGWausC1osLSrXFdioxide which ends in "dioxide" (7-letter), and is spendable
ARC-AGI-2 problem / List Created 2025-03-28 Updated 2025-07-16
ARC-AGI-2 problem / Approach Created 2025-03-28 Updated 2025-07-16
Farsight DNSDB Created 2025-03-28 Updated 2025-07-16
Acquired by DomainTools in 2021. ChatGPT says it was the most complete DB ever.
DomainTools pricing Created 2025-03-28 Updated 2025-07-16
assets.applytosupply.digitalmarketplace.service.gov.uk/g-cloud-14/documents/708941/255941323840717-pricing-document-2024-04-17-1304.pdf is an epic document under the gov.uk domain and marked:
HIGHLY CONFIDENTIAL - For use only by DomainTools employees and other audiences under NDA only
and marks Iris Investigate as starting at $15k USD for 250 Queries / Month
Blockchain explorer website Created 2025-03-28 Updated 2025-07-16
Blockchain SQL explorer Created 2025-03-28 Updated 2025-07-16
Cloud options:
ARC-AGI-2 problem Created 2025-03-28 Updated 2025-10-14
NDEA Created 2025-03-28 Updated 2025-07-16
ndea.com/
We believe program synthesis holds the key to unlocking AGI.
Cool. Founders are also very interested in ARC-AGI.
Censys Created 2025-03-28 Updated 2025-08-08
Vanity plate Created 2025-03-28 Updated 2025-07-16
Vanity number Created 2025-03-28 Updated 2025-07-16
Address (cryptocurrency) Created 2025-03-28 Updated 2025-07-16
Mathematical Intelligence (Proof assistant) Created 2025-03-28 Updated 2025-07-16
This will never work but OK. New custom language after Lean.
ARC-AGI Created 2025-03-25 Updated 2025-07-16
This one goes all in the following themes:
  • few examples to learn from. You have to carefully inspect the input examples to deduce the output rules. Rules can require specific It application ordering, so you actually generate an algorithm. It tends to be easy for humans, but sometimes not so easy!
  • extensive use of geometric concepts, notably "contained inside", "adjacent to", "connected"
Bibliography:

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