OpenAI published a new paper called "Monitoring Monitorability." It offers methods for detecting red flags in a model's reasoning. Those shouldn't be mistaken for silver bullet solutions, though. In ...

The research relevant to this article was funded by the John Templeton Foundation. Stylianos Syropoulos does not work for, consult, own shares in or receive funding from any company or organization ...

Formal logic helps us build and evaluate rational arguments, which helps us to test claims, explain our reasoning, and keep discussions clear. The first step in learning formal logic is learning about ...

We don't entirely know how AI works, so we ascribe magical powers to it. Claims that Gen AI can reason are a "brittle mirage." We should always be specific about what AI is doing and avoid hyperbole.

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

The assertion that generative artificial-intelligence models like OpenAI’s new GPT-5 can reason like people do appears to have taken another blow. A new study published earlier this month by ...

Baidu BIDU-0.03%decrease; red down pointing triangle plans to launch a new reasoning model capable of handling more complex tasks by the end of this month, as it seeks to compete with the likes of ...

Singapore-based AI startup Sapient Intelligence has developed a new AI architecture that can match, and in some cases vastly outperform, large language models (LLMs) on complex reasoning tasks, all ...

AI reasoning models were supposed to be the industry’s next leap, promising smarter systems able to tackle more complex problems. Now, a string of research is calling that into question. Researchers ...

On Tuesday, OpenAI announced that o3-pro, a new version of its most capable simulated reasoning model, is now available to ChatGPT Pro and Team users, replacing o1-pro in the model picker. The company ...