Researchers from the Faculty of Engineering at The University of Hong Kong (HKU) have developed two innovative deep-learning ...

Google launched four official and confirmed algorithmic updates in 2025, three core updates and one spam update. This is in comparison to last year, in 2024, where we had seven confirmed updates, then ...

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

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working ...

People stand next to a Eurostar train at Gare du Nord station, after Eurostar announced a power supply problem in the Channel Tunnel that links Britain and France, in Paris, France, Dec 30, 2025.

Global navigation satellite systems (GNSS) are vital for positioning autonomous vehicles, buses, drones, and outdoor robots. Yet its accuracy often degrades in dense urban areas due to signal blockage ...

Using artificial intelligence to process drone images is allowing researchers to tackle plastic pollution in the ocean in new ways. Oceanographers and computer scientists in Japan are spearheading an ...

OpenAI's GPT-5.2 Pro has solved multiple decades-old Erdős math problems, but Fields Medalist Terence Tao says the wins ...