The open-source AI algorithm of Congzi adheres to the principles of "low threshold and high compatibility". Developers only need to complete the integration in three steps and do ...

This integration addresses the fundamental barriers that have historically limited formal verification adoption: complexity ...

On February 14, 2026, a major announcement was made: The original Chinese AI algorithm "Congzi" was officially released under an open-source license. In 2025, after being tested by multiple ...

We are now looking for a Doctoral Researcher in quantum computing and algorithms. Are you as excited about quantum technology and its future applications as we are?

Abstract: Brain tumours are among the most life-threatening diseases, and automatic segmentation of brain tumours from medical images is crucial for clinicians to identify and quantify tumour regions ...

Abstract: This study examines the application of Large Reasoning Model (LRM)-based artificial intelligence (AI) agents to accelerate scientific discovery, with a specific focus on the rapid ...