I'm so curious what happens to this project that intended on proving FLT by 2029 now

the project: https://imperialcollegelondon.github.io/FLT/