2024/09/17 by Raffaele Marino, Marino, Raffaele · 1 citation
Business, Management and Accounting · Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Auction Theory and Applications #Computation and Language (cs.CL) #Constraint Satisfaction and Optimization #Disordered Systems and Neural Networks (cond-mat.dis-nn) #FOS: Computer and information sciences #FOS: Physical sciences #Law, logistics, and international trade
paper · pdf · doi:10.48550/arxiv.2409.11232
openalex publication_date 2024/09/17 · openalex created_date 2024/10/25 · openalex updated_date 2026/07/28
In this manuscript, I present an analysis on the performance of OpenAI O1-preview model in solving random K-SAT instances for K∈ 2,3,4 as a function of α=M/N where M is the number of clauses and N is the number of variables of the satisfiable problem. I show that the model can call an external SAT solver to solve the instances, rather than solving them directly. Despite using external solvers, the model reports incorrect assignments as output. Moreover, I propose and present an analysis to quantify whether the OpenAI O1-preview model demonstrates a spark of intelligence or merely makes random guesses when outputting an assignment for a Boolean satisfiability problem.