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 ...
Naples Daily News

Python slithering on ground provides exhilarating ride via GoPro camera

Take a walk on the wild side with a python, which slithers through Florida grass as a GoPro camera follows along.
WLRN

Florida Python Challenge returns in July with $25,000 in prizes for Everglades hunt

Registration is open for the 2026 Florida Python Challenge, a 10-day competition that offers participants a shot at $25,000 in prizes for removing invasive Burmese pythons from the Everglades. The ...

An OpenAI model solved a famous math problem that stumped humans for 80 years

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

A Famous Math Problem Stumped Humans for 80 Years. AI Just Cracked It.

The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...
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 ...
IEEE

Mathematical Programming Through the Lens of LLMs: Systematic Evidence and Empirical Gaps

Abstract: This paper investigates the capabilities of large language models (LLMs) in formulating and solving decision-making problems using mathematical programming. We first conduct a systematic ...