OpenAI's GPT-5.5 is here, and it's no potato: narrowly beats Anthropic's Claude Mythos Preview on Terminal-Bench 2.0

So when it comes to models that the general public can access, GPT-5.5 has retaken the crown for OpenAI, achieving the ...
Communications of the ACM

A Grounded Conceptual Model for Ownership Types in Rust

Programmers learning Rust struggle to understand own\x02ership types, Rust’s core mechanism for ensuring memory safety ...

AI in math: Are advanced AI models changing how mathematics is done?

AI is no longer on the margins of mathematics. It is shaping how problems are approached, explored and solved. Yet, as its ...

OpenAI upgrades ChatGPT and Codex with GPT-5.5: ‘a new class of intelligence for real work’

OpenAI is capping off a busy week of announcements with the release of GPT-5.5, its latest model upgrade for ChatGPT and Codex. The company calls its new model “a new class of intelligence for real ...