In a collaborative study led by Dr. Lazebnik from the University of Haifa alongside researchers from the Weizmann Institute of Science, a novel AI system was developed that combines large language models with mathematical search to reveal the underlying mechanisms of biological processes. The system successfully reconstructs mathematical models and generates high probability scientific hypotheses by integrating biological constraints and existing scientific literature, demonstrating that domain knowledge is vital for producing biologically sound models beyond pure data analysis.