2 ms·
Differentiable max-SAT Solver for real world optimization problems
- deleted 11mo ago[deleted]
- vintagedave 11mo agoI have zero expertise in this area, but the following quotes from the webpage make me suspicious: * "This is theoretically impossible with classical algorithms" (plausible, maybe it's a different approach and it mentions noise, aka maybe it's some kind of random fuzzy approach?) * "Suggests quantum phase transition physics in action" * "represents a new way to think about the Riemann zeta function"
- stuehieyr 11mo agoThank you for the comment! The website is a marketing copy. The research paper is jargon free.
- gus_massa 11mo agoMy suggestion is to take one or two weeks to rewrite the site to avoid weird false claims like > represents a new way to think about the Riemann zeta function [What?!?!] and then post again.
- stuehieyr 11mo agoThank you, will do that! I wrote that because internally the math uses zeta function's properties to avoid getting stuck in local minima. Will revamp the site.
- nhatcher 11mo agoYeah, it is just parody. It is not a real thing.
- deleted 11mo ago[deleted]
- stuehieyr 11mo agoIf you want to test it, https://codeberg.org/aninokuma/navokoj-rest-tests https://codeberg.org/aninokuma/navokoj-rest-tests, the API is up for 72 hours.