Show HN: Solving Sudoku reasoning via Energy Geometric models
https://www.davisgeometric.com/index.html
We were genuinely impressed by Yann LeCun’s recent announcement about his Sudoku solver based on Energy-Based Models here: https://logicalintelligence.com/yann-lecunSo we (a software engineer and prodigy mathematician) worked in the weekend to see if we can beat it and we did!
If Kona solves puzzles in 313 milliseconds, we currently solve 270,000 puzzles per second!
We do not know the internal mechanics behind Logical Intelligence’s system, but we are happy to share ours in the webpage there is a full description, code and also a paper published.
Why people are obsessed with Sudoku: we think is because being a CSP, it can solve some serious business problems such as work scheduling, resource allocations and logistic optimization.
For any questions reach me out to: [email protected].
(
4 comments
| on HN
)