AI models are starting to crack high-level math problems

“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...

First-time use of AI for genetic circuit design demonstrated in a human cell line

There are hundreds of cell types in the human body, each with a specific role spelled out in their DNA. In theory, all it ...
eWeek

GPT-5.2 Just Solved a 30-Year Math Problem

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...
IEEE

Federated Learning for Remote Sensing Image Classification Using Sparse Image Representations

Abstract: The increasing scale and complexity of remote sensing (RS) observations demand distributed processing to effectively manage the vast volumes of data generated. However, distributed ...
IEEE

High-Resolution Spatial Transcriptomics from Histology Images using HisToSGE

Abstract: Spatial transcriptomics (ST) is a groundbreaking genomic technology that enables spatial localization analysis of gene expression within tissue sections. However, it is significantly limited ...