Logical Intelligence, an AI lab pioneering energy-based reasoning models (EBRMs), today announced that its AI coding agent, Aleph, achieved top scores on four public formal reasoning benchmarks: ...

What's next? Will machines now compete for Nobel Prizes? And why the world needs to pay attention before it gets left out in ...

OpenBMB's 1B-parameter model MiniCMP 5 brings MCP support and agentic tool use to on-device AI—but it has trouble with logic ...

Did AI just crack 80 year old maths mystery? OpenAI says that its AI has solved a famous geometry problem that remained ...

OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the ...

In January 2025, a Hangzhou-based AI lab called DeepSeek dropped a reasoning model that, by its own benchmarks, went ...

Amazon founder Jeff Bezos recently argued that software engineers should not fear artificial intelligence at all. Comparing AI tools to “a bulldozer replacing a shovel”, Bezos suggested that ...

Using special tags embedded in the output, the model directly links every factual claim it makes to the specific source ...

Microsoft is cutting Claude Code licences inside its core product teams. The reason is not strategy. It is the bill. The end of the AI coding experiment has arrived?

Alibaba's Qwen 3.7 Max landed on Arena AI five days before the Cloud Summit and earned its spot. We tested it, and here are ...

During Tuesday’s Google I/O keynote, Demis Hassabis, the CEO of Google DeepMind, proclaimed that we are currently “standing ...

Is it the same this time, or do artificial intelligence (AI) and vibe coding upend the game? More generally, can AI and software engineering enter into a successful marriage? Are we about to witness ...