Forskere beskriver hvordan SAT-løsere kan brukes til å angripe det klassiske matematiske problemet kjent som Tarskis high school-algebraproblem.

Kilde: https://arxiv.org/abs/2608.08421