News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.