On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year’s International Mathematical Olympiad (IMO), ...

Exacter, Inc. has announced that its technology is currently being used by more than 100 utilities to prevent outages and improve distribution reliability by locating failing overhead line equipment.

Amini, a Nairobi-based climate tech startup focused on solving Africa’s environmental data gap through artificial intelligence and satellite technology, has raised $2 million in a pre-seed funding ...