Smithsonian Magazine

Mathematicians Puzzled Over a Famous Problem for 80 Years. Now, They’ve Used A.I. to Identify a Clever Solution

In 1946, the mathematician Paul Erdős posed the unit distance problem—and suggested a winning strategy. An A.I. model has now ...
IEEE

An Output Feedback Approach to Differential Graphical Games in Linear Multiagent Systems

Abstract: This letter presents an output feedback approach to distributed optimal formation control of linear time-invariant multiagent systems. The formation control problem is formulated as a ...
Communications of the ACM

I Spent a Year Asking AI to Solve Math’s Hardest Problem. Here’s What Happened

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...

An AI solution to an 80‑year‑old problem has shocked mathematicians

Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) ...