A startup called Imandra Inc. says it’s taking artificial intelligence-driven code completion to the next level with the launch of an entirely new and automated reasoning system called CodeLogician.

In a new study, Redwood Research, a research lab for AI alignment, has unveiled that large language models (LLMs) can master "encoded reasoning," a form of steganography. This intriguing phenomenon ...

What if the key to solving your most complex coding challenges wasn’t just thinking harder, but thinking differently? Traditional approaches to problem-solving in AI, like Claude Code’s ultrathink ...

Anthropic pointed its most advanced AI model, Claude Opus 4.6, at production open-source codebases and found a plethora of security holes: more than 500 high-severity vulnerabilities that had survived ...