Astra solves ten open math problems, AI agents fail at open-ended research, peer review under strain's mentions