sudokuist
No user record in our sample, but sudokuist has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but sudokuist has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
They don't have 9x9 puzzles. Any guesses as to why they only tried 3x3, 4x4, and 5x5 but not 9x9? This work is interesting. I wouldn't have guessed 3x3 puzzles would be solvable by a large Markov chain. It would be…
Perhaps.
Turns out Markov chains with a large context can do a lot and yet no one has figured out why LLMs can not solve sudoku puzzles. Why do you think that's the case if the goalposts have moved so much?
Have you tried formalizing your ideas with Isabelle? It has a constraint solver and will often find counterexamples to false arithmetical propositions[1]. 1: https://isabelle.in.tum.de/overview.html
[flagged]
Example?
No one knows how the brain works and how it is connected with the body. Did you know your gut is directly connected with cognition? An unhealthy digestive system has been linked with several neurodegenerative diseases.…
Can LLMs solve sudoku yet?