Skimming this new PDF, I feel some similarities to the sub-n*lg(n) FFT writeup by David Harvey. It's all like breaking the n^3 matmul bound: instead of doing many independent mat-vec-mul units of work, do them all at once, exploiting structure to save a few operations. bsky.app/profile/curi...
Here's a direct link to the PDF claiming a faster 3SAT algorithm: github.com/openai/math/...
2 reposts2 likes