31
Why don't machine learning research agents overfit?
New research indicates that AI agents learn compressible models of data, which don’t have enough space to enable memorization.
32
2025 Turing award given for quantum information science
Bennett, an American physicist at IBM Research, and Brassard, a Canadian computer scientist at the Université de Montréal, are widely recognized as founders of quantum information science, a field at the intersection of physics and computer science that treats quantum mechanical phenomena not merely as properties of…
33
Factoring RSA 260
How Devin and a Cognition researcher built the world’s highest-performance GPU lattice siever, to make factoring numbers 10x cheaper than the previous…
34
PISA 2025 Students' reading and mathematics performance declined across the OECD
Student performance across OECD countries has continued to decline, reaching the lowest average ever recorded by the OECD Programme for International Student Assessment (PISA) in mathematics and reading. Across the OECD, one in five 15-year-old students is now a low performer in science, mathematics and reading, up…
35
Backprop Alternative: Augmented Lagrangian Predictive Coding
A local alternative to backpropagation. PC-ALM trains residual MLPs up to 1000 layers, nearly matching backprop's performance despite using only layer-local dynamics. PC-ALM equips each layer with a feedback control dynamical system that distributes and propagates supervision credit throughout a network.
36
Group averages obscure how an individual's brain controls behavior: study
Studying brain scan data from individuals — not group averages — reveals key brain-function differences in children who struggle with goal-oriented tasks, a Stanford Medicine study found.
37
Responsible Release of AI-Generated Mathematics
Responsible Release of AI-Generated Mathematics September 29, 2026 Back to main page Download PDF At present, some frontier AI labs are testing advanced mathematical problems on proprietary models …
38
Ray tracing massive amounts of animated geometry using tetrahedral cages
Animate compact tetrahedral cages and reuse static mini-BLASes to ray-trace hundreds of millions of triangles in real time, dramatically cutting per-frame update and memory costs for dense foliage, grass, and crowds.
39
MathCode, Mathematical Coding Agent
A terminal AI coding agent that formalizes math problems into Lean 4 theorems and proves them.
40
Cosmology with Geometry Nodes
Learn about the real-life scientific applications of GeoNodes in Cosmology research.
41
A Mathematical Framework for Transformer Circuits (2021)
Transformer language models are an emerging technology that is gaining increasingly broad real-world use, for example in systems like GPT-3 , LaMDA , Codex , Meena , Gopher , and similar models. However, as these models scale, their open-endedness and high capacity creates an increasing scope for unexpected and…