Re:Lean4 helped Terence Tao discover a small bug in his rece...
by danenania on Friday October 27, 2023 @03:56PM
(#38043152)
Especially now that the training cutoff is being moved up to April 2023. Questions requiring more recent results were the main ones I’ve been going back to google for.
[ Parent
| on HN ]
There are no comments on this comment yet.