精东传媒APP黄

Skip to main content

Social media

Latest news

Manchester, UK,
23
December
2025
|
09:25
Europe/London

Testing AI logic in biomedical research

Manchester researchers have developed a systematic methodology to test whether AI can think logically in biomedical research, helping to ensure safer, more reliable applications in healthcare innovation.

Download Media Kit
Download

As artificial intelligence becomes increasingly embedded in biomedical research, questions remain about how well these systems can reason logically with complex scientific information.

Researchers at The University of Manchester have created SylloBio-NLI, a first-of-its-kind framework that systematically tests the logical reasoning ability of AI models.

Using examples similar to classic syllogisms 鈥 鈥淎ll men are mortal. Socrates is a man. Therefore, Socrates is mortal.鈥 鈥 the team adapted this structure to biomedical data to reveal where models succeed and where they fail.

Their findings show that while AI can make intuitive connections, even advanced open-source models struggle with consistent logical reasoning when applied to biomedical problems. By quantifying these limitations, the research provides critical evidence for the safe use of AI in scientific discovery and clinical decision-making.

Danilo Carvalho, Principal Clinical Informatician for the Digital Cancer Research team at the National Biomarker Centre, within Cancer Research UK Manchester Institute explains: 鈥淏y exposing where AI reasoning breaks down, we can build systems that support biomedical research with certain scientific evidence guarantees.鈥

The team鈥檚 open-access methodology offers a vital tool for improving the transparency, reliability, and future design of AI technologies used in medicine, supporting Manchester鈥檚 commitment to ensuring responsible AI and digital health innovation.

Dr Danilo Carvalho

Meet the researcher

Dr Danilo Carvalho is a Principal Clinical Informatician for the Digital Cancer Research team at the National Biomarker Centre 鈥 . He is qualified as a Computer and Information Scientist (MSc, PhD) and is an expert in explainable and controllable mechanisms for representation learning, which is the building of computer-based numerical models of physical or abstract reality, from the meaning of words to gene interactions.

Read his papers

Share this page