Liouville-version of Goldbach conjecture proved and Lean-checked

Thread by the researcher who ran Astra end to end, from one image and a goal to a decoded message in roughly six hours.

Tweet showing the decoded text of a WWI German naval radio transmission, the example that kicked off the cipher-solving wave.

Ashe used Astra to build a site that pulls the male body apart into 2,234 parts from BodyParts3D, with skeleton, muscle, organ, vessel and nerve layers. A learning tool built from one prompt that went hugely viral.

Developer-focused first reaction asking whether Astra ends programming jobs, with live coding demos.