At time one, the force stops changing. The computation does not. OpenAI’s September 27, 2026 preprint constructs a viscous fluid whose particle motion can simulate an arbitrarily long Turing-machine run, even after its external force becomes stationary. For readers searching “Navier Stokes Turing complete,” the precise answer is yes for these specially constructed forced flows. … Read more
A finite list of rules can describe an infinite group. The hard question is whether that group can also be simple while containing every operation of another group faithfully. OpenAI’s September 23, 2026 manuscript presents a positive proof of the Boone Higman conjecture: a finitely generated group has a decidable word problem exactly when it … Read more
Choose the integer 2. Can its powers generate every nonzero residue modulo infinitely many primes? Artin’s primitive root conjecture predicts yes. OpenAI’s October 4, 2026 manuscript Primitive roots for every admissible integer base claims an unconditional proof, covering every integer except −1 and perfect squares. Its quantitative guarantee is a lower bound of order x/(logx)2x/(\log … Read more
A square of quantum spins can contain a vast number of possible states. The striking question is how much of that complexity a ground state actually uses to connect the square with its surroundings. OpenAI’s September 24, 2026 manuscript presents a proof of the 2D area law: under fixed locality bounds, a unique ground state … Read more
For 52 years, the Subset sum problem had a stubborn exponential benchmark: split the inputs in half and search at the 2n/22^{n/2} scale. OpenAI’s October 4, 2026 preprint presents a randomized classical algorithm running in O(20.49n)O(2^{0.49n}) for polynomial-bit inputs in a specified word-RAM model. It promises at least 2/32/3 correctness probability for every fixed input, … Read more
Ten pieces should have been enough. OpenAI’s September 23, 2026 preprint gives a compact set in nine-dimensional Euclidean space that refuses to fit that rule: every cover by ten subsets leaves at least one subset with the original diameter. The Borsuk conjecture counterexample lowers the previously reported counterexample dimension from 63 to nine. The original … Read more
Prime factors can be counted, but their parity has resisted a deceptively simple prediction for decades. The two-point Chowla conjecture asks whether the even-or-odd factor counts of two integers a fixed distance apart become uncorrelated. OpenAI’s September 24, 2026 manuscript claims a proof for ordinary averages at every cutoff, with a power-of-logarithm saving. It also … Read more