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 latest addition to the small model wave for enterprises comes from AI21 Labs, which is betting that bringing models to devices will free up traffic in data centers. AI21’s Jamba Reasoning 3B, a ...

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

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

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

This New AI is 100x Faster at Reasoning Than ChatGPT Your email has been sent The tiny Hierarchical Reasoning Model mimics the brain’s structure to solve complex tasks in a single pass — no ...

GPT-5 might be just a few days or weeks away, as we've spotted references to a new model called gpt-5-reasoning-alpha-2025-07-13. As spotted on X, OpenAI is testing a model called ...

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