@jon_lee0
We ran our internal system Aletheia (Deep Think) on FirstProof’s research problems during the week they were released. Aletheia returned solutions to problems 2, 5, 7, 8, 9, and 10. We think there’s a pretty good chance they are correct, based on expert analysis. https://t.co/7lC8RmDVx1