← heapsort-ai

GPU computing

5 items

RESEARCHarXiv CS.AI·vor 1T

Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver

Accelerated Fourier SAT (AFSAT) ist ein GPU-beschleunigter Solver für die pseudo-boolesche Erfüllbarkeit, der auf kontinuierlicher lokaler Suche basiert. Er verbessert die numerische Stabilität, Laufzeitleistung und Speichereffizienz im Vergleich zum Proof-of-Concept erheblich, indem er JAX für parallele Verarbeitung nutzt und Speicher-/Gleitkomma-Einschränkungen behebt.

60
ARTICLE↑ trendingHacker News (AI)·vor 1T

"AI is someone else's GPU"

Der Artikel argumentiert, dass moderne KI, insbesondere große Modelle, grundlegend von teurer, zentralisierter GPU-Infrastruktur abhängt, was sie zu „jemandes anderer GPU“ statt lokaler Rechenleistung macht. Er kritisiert diese Zentralisierung und hebt Bedenken hinsichtlich Kontrolle, Kosten und Umweltauswirkungen hervor.

55
RESEARCHarXiv CS.LG·5/5/2026

Fast Log-Domain Sinkhorn Optimal Transport with Warp-Level GPU Reductions

Dieses Papier stellt FastSinkhorn vor, eine native CUDA-Implementierung des Log-Domain-Sinkhorn-Algorithmus, die schnellere und stabilere Lösungen für optimale Transportprobleme (OT) liefert. Es erreicht eine 12-fache Beschleunigung gegenüber der POT-Bibliothek und eine 5,9-fache Beschleunigung gegenüber GPU-beschleunigten PyTorch-Baselines, während die numerische Stabilität für kleine Regularisierungsparameter erhalten bleibt.

27