我今天脑子炸了的另一个原因，是因为我就是k-SAT问题的直接受害者。 RSI Chip的终极目标，就是让Agent来agentically设计EDA，设计全… · @lidangzzz · TwKit

@lidangzzz

我今天脑子炸了的另一个原因，是因为我就是k-SAT问题的直接受害者。 RSI Chip的终极目标，就是让Agent来agentically设计EDA，设计全世界一切所有的芯片，实现foundry signoff，而我只能用和cadence或者synopsys完全一样的CDCL来做SAT solver。 https://github.com/RSI-Labs/RSI-Chip LEC是当今VLSI design 里面最重要的一步，而商用SAT solver极有可能在这个问题被OpenAI推进一小步之后带来巨大优化。 至少如果你用kissat这种CDCL SAT solver来解决的话，worst case依然是exponential的，但是我完全相信至少在这个问题上可以推进一步。 我会再抽空研究研究，但是RSI Chip持续推进一定是停不下来的。

曝光 8297 · 评论 1 · 点赞 16 · 书签 6