
Non-Mathematician Builds Lean Proof of Conway’s 1976 Refinement Conjecture
A non-mathematician's Lean proof of Conway's 1976 refinement conjecture, picked by Claude.

Research, space, climate and the natural world.

A non-mathematician's Lean proof of Conway's 1976 refinement conjecture, picked by Claude.

A dead sea lion was found beheaded at San Francisco's Ocean Beach, and wildlife experts say it appears someone removed the head after death.

The Pentagon has released its sixth batch of UFO files, including documents from a secret military program that studied alien technology.

Mathematicians finally prove the graph sandwich conjecture, connecting two random network models after decades of effort.

Stacked 2D materials reveal room-temp multiferroicity and voltage-controlled magnetism, pointing toward low-power memory devices.

A telescope in the heavens has more fuel than planned, and its days of service may number twenty-two years or more.

Tonight's moon enters its first quarter, half-lit and glorious. Learn what to look for in the sky and what the next phase brings.

A single rescued cat reveals itself as a new species of wild tiger cat, rewriting the record of South American felines.

A new wild cat species, Leopardus tilcayo, has been discovered in Bolivia's Yungas cloud forest after decades of misclassification.

A sealed block of wax, warmed by fire, thrusts forth a rod of iron; thus heat is turned into motion, and the wax motor works its ancient art.

New krypton-88 data close a gap in stellar strontium models, revealing how neutron capture builds heavy elements in burning stars.

Two beams, one reaction: electron and photon imaging reveal gold nanoparticles take different shapes depending on how they're watched.
As an Amazon Associate, Clay Tribune earns from qualifying purchases.