The Colorlight 5A-75B is an inexpensive (≈$20–25) LED-receiver board built around a Lattice ECP5 FPGA that has been reverse-engineered and repurposed as a hacker-friendly development board supported by the open-source Yosys toolchain. It offers dual Gigabit Ethernet, SDRAM and HUB75 I/O, requires only a soldered JTAG header to upload bitstreams, and can be adapted for bidirectional IO by replacing the default output drivers.
A new AI-assisted proof of the Spherical Hadwiger Theorem signals that large language models are beginning to do research-level mathematics, prompting the author to argue we must rethink how to support and value pure mathematicians—perhaps as a kind of cultural 'conservatory'—as AI takes on more of the technical labor. The piece frames the milestone, its implications for incentives and verification, and a call to preserve human-centered mathematical culture.