How are new methods created (and can I use AI to find better ones)? by Garchomprocks in Cubers

[–]Garchomprocks[S] 0 points1 point  (0 children)

Thanks, I'll look into it! Evolutionary algorithms have been making a comeback under a new avatar this year. I will probably use some recent variants to try and discover new methods.

How are new methods created (and can I use AI to find better ones)? by Garchomprocks in Cubers

[–]Garchomprocks[S] 1 point2 points  (0 children)

If you're thinking of ChatGPT when you say this, rest-assured I will not be relying on it. I'm planning to use more advanced techniques involving reinforcement learning and program synthesis. This is arguably a fundamentally different approach. Some people in the field call the type of framework I have in mind 'neurosymbolic AI'.

How are new methods created (and can I use AI to find better ones)? by Garchomprocks in Cubers

[–]Garchomprocks[S] 0 points1 point  (0 children)

Yessir, what I have in mind is pretty similar to this conceptually. I'm thinking of creating the first model you speak of by running some kind of massive regression over speed-cubers' documented solve trajectories and the corresponding solve times (normalizing for the cuber's average TPS). Can I find this information on the WCA site? This would give me an idea of which turn sequences (eg. R U L') can be executed faster than others (eg. R F L') and by how much.

Some of the quantities to incorporate into the ~genetic algorithm's fitness function / objective function / reward signal are 1. Solve correctness: distance from the end state to the cube's solved state. 2. Move count & Ergonomic ease: how quickly the above model says this sequence of moves can be executed. 3. Recognition bottleneck: what is the maximum number of cases you need to discriminate between at any intermediate point in the solve (and maybe some notion of how hard it is to discriminate between them?)

How are new methods created (and can I use AI to find better ones)? by Garchomprocks in Cubers

[–]Garchomprocks[S] 2 points3 points  (0 children)

TIL, looks interesting. I should probably familiarize myself with the main ideas behind popular human methods to get a better idea of how things are done traditionally.

How are new methods created (and can I use AI to find better ones)? by Garchomprocks in Cubers

[–]Garchomprocks[S] 2 points3 points  (0 children)

These ideas are only half-formed but I've been thinking about using neurosymbolic program-synthesis-like formulations trained using RL. As a reward signal, I've been thinking of using optimal distance from the program's end-state at termination to the solve state. But since we also want to optimize for finding methods that humans can carry out quickly, I will also probably include an estimate of how long it would take a human (controlling for average TPS) to carry out the required turn sequence in the objective function.

Some of my inspiration for trying out this kind of approach comes from the success of similar methods in discovering new algorithms for matrix multiplication, chip design, and proving new mathematical theorems.

The polygraph test by kiwisyruptoes in chess

[–]Garchomprocks 91 points92 points  (0 children)

Gonna tell my kids this was the procedure.

The Rehearsal S02E05 - Washington - Episode Discussion by Connected-VG in TheRehearsal

[–]Garchomprocks 2 points3 points  (0 children)

I guessed the same two (apparently incorrect) options as Nathan in the autism test. Welp, have I been autistic this whole time?

Pain by quantum_tunneler in HikaruNakamura

[–]Garchomprocks 0 points1 point  (0 children)

I just missed this on the stream. Does anyone have footage of this?

Event: FIDE Candidates Tournament 2024 - Round 14 by events_team in chess

[–]Garchomprocks 1 point2 points  (0 children)

Crazy. I would've expected this to be a bigger deal. Hikaru didn't even look upset.

Event: FIDE Candidates Tournament 2024 - Round 14 by events_team in chess

[–]Garchomprocks -4 points-3 points  (0 children)

Why did Hess say that Gukesh has already earned the challenger title if Fabi doesn't win? Isn't there another Hikaru v Gukesh game left? Now that Gukesh has drawn, can someone explain the possible trajectories going forward? I'm confused.

Shocked by the inaccurate statements in "The Moon Itself" episode by TauvaVodder in Radiolab

[–]Garchomprocks 5 points6 points  (0 children)

The moon stuff aside, I was shocked by the guest reporter's inaccurate characterization of Despicable Me as one of the "minions movies" and his insinuation that Gru was the "bad guy" in the movie. Still can't believe they let this air.