On this day: Sep 4
2 records from this date, 2014 to 2026, gathered year by year — the most recent year first.
2026
This year · 1 recordFormalizing Fermat's Last TheoremAnthropic
A claim that an agent swarm carried out, in a short time, a large formalization project that the human community had been pursuing over a span of years. Because the output is a checkable artifact (a Lean proof), it can,
2014
12 years ago · 1 recordVery Deep Convolutional Networks for Large-Scale Image Recognition (VGG)Karen Simonyan, Andrew Zisserman (University of Oxford)
Standardized the design of stacking small 3x3 convolutions deep