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 ...

AUSTIN, Texas, March 26, 2025 /PRNewswire/ -- Imandra Inc., a pioneer in neurosymbolic AI and automated logical reasoning, today announced the launch of CodeLogician, a cutting-edge LangGraph agent ...

B, an open-weight multimodal vision AI model designed to deliver strong math, science, document and UI reasoning with far less training data and compute than much larger systems.

Today, artificial intelligence (AI) is rapidly emerging out of R&D labs and into the mainstream. Smart technologies are changing every aspect of our lives, from the way we work, to health care, ...

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 ...

Scientists warn that current AI tests reward polite responses rather than real moral reasoning in large language models.

New research might widen access to learning computer programming. Source: skynesher/iStock It is routinely assumed that to be a computer programmer—to write code, in other words—you need to be good at ...