Artificial Intelligence

A U.S.

A seven-year-old conjecture from a hypergraph theory paper defeated its own author repeatedly — until an AI found the construction he'd suspected might work but couldn't make rigorous.

A Stanford PhD student has built a method that lets language models improve themselves through personalization — with no additional labeled data, no external judge, and no verifiable rewards.

The University of Colorado's system-wide OpenAI contract raises a question that's becoming familiar across higher education: who actually decides when a university buys AI?

OpenAI Is Running Ads Now.

When a new paper asks whether large language models can actually plan a trip — not just describe one — the answer turns out to be nearly zero. ItinBench, a benchmark developed by researchers at the University of Virginia, tests LLMs on itinerary planning across two cognitive dimensions simultane...

OpenAI's 16-megabyte hiring test Subtitle: A compression challenge launching this month is how OpenAI plans to recruit its next class of junior researchers — and the leaderboard is already getting serious. --- The Forbes headline reads: "OpenAI Is Now Hiring $500,000 Jobs.

Before You Edit, Know What Will Break: CLaRE Maps the Fault Lines in LLM Knowledge Model editing is becoming a routine operation.

TTQ: Mitsubishi Electric's Researchers Solved a Quiet Problem in Production Quantization Every time you deploy a quantized language model, you make a bet.

A research team spanning East China Normal University, Beihang, Fudan, and Shanghai UIBE has built something that pushes against one of the more persistent inefficiencies in agentic AI systems: the assumption that every step of a workflow needs a language model. Their system, HyEvo, automaticall...

The operating system kernel at the heart of DARPA autonomous vehicles and Boeing rotorcraft runs on something unusual: mathematical proof.