An Anthropic AI model, Claude Fable 5, helped disprove the 87-year-old Jacobian conjecture, a famous open problem in mathematics dating to 1939. The model produced a concrete counterexample that ...

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...

More than 25 years after a mother of two was found dead in her northwest Atlanta home, police have arrested a suspect in the case. The Atlanta Police Department announced Monday that investigators ...

Physicists have debated which way a submerged sprinkler sucking in water would spin. Careful experiments provide an answer. By Kenneth Chang Scientists say they have solved in detail what may be the ...

A North Carolina man has been charged in the 1988 killing of an Orlando, Florida, woman after advances in DNA technology helped investigators identify a suspect nearly four decades after the case went ...

If, as novelist-philosopher Samuel Butler wrote in 1878, “a hen is only an egg’s way of making another egg”, then a galaxy may only be a black hole’s way of making another black hole. To put it ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

HUNTINGTON CO., Ind. (WISH) — Indiana State Police say they have identified the killer from a 1997 cold case. According to police, on Dec. 21st, 1997, 25-year-old Angela Saco was found dead on ...

(WXIN/WTTV) — Indiana State Police believe they have identified the killer responsible for the stabbing death of a young woman that occurred nearly 30 years ago in northeast Indiana. Angela Saco, a 23 ...

After 80 years of fruitless struggle by human mathematicians, a major geometry conjecture has at last been solved—via a straightforward query to a chatbot. “No previous AI-generated proof has come ...

OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946. If this sounds ...