LingBot-World 2.0, a 1.3B world model, achieves 16.1 FPS on a single RTX 5090 through inference optimizations, delivering 2.7× speedup over the original paper's implementation while maintaining lossless performance. The optimizations involve fused kernels and precision techniques applied to the upstream model without altering its architecture.
Mathematicians have proven the 'sandwich conjecture,' a 2004 hypothesis that any sufficiently large graph can be mathematically sandwiched between two simpler graphs. This breakthrough, completed in 2025 by three mathematicians, shows that random binomial graphs and more complex regular graphs are connected through a unified random process, allowing difficult properties of regular graphs to be derived from simpler binomial graphs.
The Trump administration spent an estimated $9.5 billion on paid administrative leave for federal workers in 2025, driven largely by a DOGE-era deferred resignation program that cost $6.7 billion and allowed nearly 140,000 employees to be paid through September after agreeing to quit. The GAO report found administrative leave costs rose sixfold and usage jumped 435% from 2023 to 2025 as part of efforts to shrink government, though the Office of Personnel Management acknowledged it cannot accurately track the true costs of these workforce reduction efforts.