← heapsort-ai

GPU computing

5 items

RESEARCHarXiv CS.AI·hace 1d

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

Accelerated Fourier SAT (AFSAT) es un solucionador acelerado por GPU para la satisfacibilidad pseudo-booleana que emplea búsqueda local continua. Mejora sustancialmente la estabilidad numérica, el rendimiento en tiempo de ejecución y la eficiencia de la memoria sobre su prueba de concepto, utilizando JAX para el procesamiento paralelo y abordando las limitaciones de memoria/punto flotante.

60
ARTICLE↑ trendingHacker News (AI)·hace 1d

"AI is someone else's GPU"

El artículo argumenta que la IA moderna, especialmente los modelos grandes, depende fundamentalmente de infraestructuras de GPU centralizadas y costosas, haciéndola inaccesible para la computación local. Esto contradice los ideales de descentralización y plantea preocupaciones sobre el control, el costo y el impacto ambiental.

55
RESEARCHarXiv CS.LG·5/5/2026

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

Este artículo presenta FastSinkhorn, una implementación CUDA nativa del algoritmo de Sinkhorn en el dominio logarítmico, que ofrece soluciones más rápidas y estables para problemas de transporte óptimo (OT). Logra una aceleración de 12x sobre la biblioteca POT y 5.9x sobre las bases de PyTorch aceleradas por GPU, manteniendo la estabilidad numérica para pequeños parámetros de regularización.

27