← heapsort-ai

GPU computing

5 items

RESEARCHarXiv CS.AI·il y a 1j

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

Accelerated Fourier SAT (AFSAT) est un solveur accéléré par GPU pour la satisfiabilité pseudo-booléenne, basé sur la recherche locale continue. Il améliore considérablement la stabilité numérique, les performances d'exécution et l'efficacité de la mémoire par rapport à sa preuve de concept, en exploitant JAX pour le traitement parallèle et en résolvant les limitations de mémoire/point flottant.

60
ARTICLE↑ trendingHacker News (AI)·il y a 1j

"AI is someone else's GPU"

L'article affirme que l'IA moderne, en particulier les grands modèles, dépend fondamentalement d'infrastructures GPU centralisées et coûteuses, la rendant inaccessible pour le calcul local. Il critique cette centralisation, soulignant les préoccupations concernant le contrôle, le coût et l'impact environnemental.

55
RESEARCHarXiv CS.LG·05/05/2026

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

Cet article présente FastSinkhorn, une implémentation CUDA native de l'algorithme de Sinkhorn en domaine logarithmique, offrant des solutions plus rapides et stables pour les problèmes de transport optimal (OT). Il atteint une accélération de 12x par rapport à la bibliothèque POT et de 5,9x par rapport aux bases de PyTorch accélérées par GPU, tout en maintenant la stabilité numérique pour de petits paramètres de régularisation.

27