Yedidia co-authored work with Scott Aaronson a decade ago showing BusyBeaver(8000) is independent of ZFC, later improved by AI models.
Referenced in coverage
“Yedidia co-authored work with Scott Aaronson a decade ago showing BusyBeaver(8000) is independent of ZFC, later improved by AI models.”