sudokuist

4 ms·

1. 1.▲
   by sudokuist 3y ago

   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 interesting to
2. 2.▲
   by sudokuist 3y ago

   Perhaps.
3. 3.▲
   by sudokuist 3y ago

   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?
4. 4.▲
   by sudokuist 3y ago

   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
5. 5.▲
   by sudokuist 3y ago

   Example?
6. 6.▲
   by sudokuist 3y ago

   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. Also, walking and car
7. 7.▲
   by sudokuist 3y ago

   Can LLMs solve sudoku yet?