A modest but open theorem in theoretical biology proved by AI

(twitter.com)

4 points | by sajid 10 hours ago ago