23:28
2026-08-25
twitter.com
artificial-intelligence
A modest but open theorem in theoretical biology proved by AI
Ash Jogalekar, a chemist and biologist, announced an arXiv preprint proving a modest but open theorem in theoretical biology using AI, with the proof formalized and verified in Lean. The theorem stateβ¦