OpenAI has released 719 manuscripts from an internal model, giving mathematicians a large public set of AI-generated results to verify, reuse, or challenge. The repository groups them into 372 result families and includes source files, PDFs, citation instructions, and Lean proofs, which let a computer check some of the mathematics. About 42% of the catalogue's top-line results currently have Lean formalizations; the model was posed roughly 4,000 problems and used about three hours of ChatGPT Pro thinking compute per result on average.
SpireBench gives 20 language models the full Slay the Spire game, exposing a long-horizon weakness that short benchmarks miss: frontier models match average players but remain far behind experts. Models often play the first act as well as experts, then fall behind because they misjudge risk across the run, saving health instead of spending it to grow stronger. Their written memories across runs are often wrong and overly cautious, and do not improve performance.
LACE gives LLMs a structured way to build and refine optimization heuristics, making automated algorithm design more usable across unfamiliar decision problems. It separates the problem contract, tools, and heuristic portfolio, then evolves specialist heuristics within a fixed runtime budget instead of asking for one complete solution. Across 36 benchmark problems, it scored 0.945 versus 0.870 for the strongest existing LLM method and 0.571 for direct prompting; on four new problem types, it reached 0.97-0.99.
A new learning framework lets researchers train autonomous microrobot navigation policies in under 10 minutes, shortening the loop for testing robot designs and navigation settings. It runs thousands of simulated vascular environments in parallel, producing roughly 190,000 training transitions per second, then transfers the learned policy to different microrobot types and scenarios without additional training. Across evaluated scenarios, the method cut action variation by at least 33.7% and increased obstacle clearance by at least 2.1%.
A simulated all-transistor learning system performs a simple in-context learning task, pointing toward hardware that can adapt from examples instead of relying only on conventional offline training. The researchers restore bidirectional signal flow in a physical circuit, then build attention from the exponential current behavior of sub-threshold MOSFETs. Training succeeds with cross-entropy loss and approximate reverse gradients, not mean squared error.
Seq-Drifting shows diffusion language models can generate an entire sequence in one forward pass, cutting out the multiple sampling steps normally used for higher-quality text. It learns a context-aware drift field over continuous token representations: attraction pulls outputs toward plausible tokens, while repulsion limits collapse and repetition. On LM1B, it reaches a generative perplexity of 36.01 in one step, with experiments also covering translation, summarization, and reasoning.
Kairos proposes one foundation-model design for text, images, audio, video, lidar, and control streams, so the same byte-level system could process very different data types. It combines linear and sliding-window attention, block-wise residuals, sparse experts, and a multi-scale codec, then fits a 440-byte sentence at 1-15M parameters. The checks reached roughly 10^-3 loss, but the paper has not tested generalization or multimodal training.