ChatGPT o1 seems to understand the problem correctly but doesn't get far: https://chatgpt.com/share/670dbe0e-087c-8000-9856-996c3fbaa9... o1 thought for 105 seconds, cycling through many relevant-sounding status…
"Is progress in SAT solving the sole result of hardware advancement? Time Leap Challenge compared 20-year-old SAT solvers on new computer hardware and modern SAT solvers on 20-year-old computer hardware. Although…
I hope that's enough to finally make a Chrome extension that works. Theirs seems significantly broken half the time.
Perhaps VW should focus on taking slave labor out of their supply chain. One could argue that their decision to work with Nazis was compelled b/c VW is a German company. What's their excuse for using slaves from a…
Macau actually experienced a big recession while Hong Kong has grown steadily, overtaking the US in GDP per capita. [1] [1] https://www.google.com/publicdata/explore?ds=d5bncppjof8f9_#...
ChatGPT o1 seems to understand the problem correctly but doesn't get far: https://chatgpt.com/share/670dbe0e-087c-8000-9856-996c3fbaa9... o1 thought for 105 seconds, cycling through many relevant-sounding status…
"Is progress in SAT solving the sole result of hardware advancement? Time Leap Challenge compared 20-year-old SAT solvers on new computer hardware and modern SAT solvers on 20-year-old computer hardware. Although…
I hope that's enough to finally make a Chrome extension that works. Theirs seems significantly broken half the time.
Perhaps VW should focus on taking slave labor out of their supply chain. One could argue that their decision to work with Nazis was compelled b/c VW is a German company. What's their excuse for using slaves from a…
Macau actually experienced a big recession while Hong Kong has grown steadily, overtaking the US in GDP per capita. [1] [1] https://www.google.com/publicdata/explore?ds=d5bncppjof8f9_#...