OpenAI’s Astra Solved Decades-Old Math Problems For $2,000

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut ...

OpenAI’s Astra solves 10 long-open math problems and publishes the proofs

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, ...

AI Helps Crack an 87-Year-Old Math Conjecture With One Tiny Formula

Alpöge’s discovery is the latest in a string of high-profile mathematical breakthroughs made by large language models. Recent examples include OpenAI’s disproof of the unit distance conjecture, and ...
Scientific American

Mathematical ‘einstein’ tile works in the real world, to everyone’s surprise

Discovered by an amateur mathematician in 2022, this strange construct can tile an infinite surface without repeating. But ...
Seattle Children's

Swallowed Foreign Object

Swallows a non-food solid object Adult suspects an object was swallowed Includes object found in the stool with no history of it being swallowed. Sometimes, a young child swallows an object when no ...