A modest but open theorem in theoretical biology proved by AI

4 points | by sajid 10 hours ago