🥇 @EPFL Prof Maryna Viazovska received the 2022 Fields Medal for her work on sphere packing.

Maryna met Sidharth Hariharan in 2024 and started a Lean proof for the Sphere Packing theorems.

Now, without any additional input outside the paper and work-in-progress repo, the AI agent Gauss completed the proof for dimension 8 in 5 days, expanding the codebase from 20,000 to 60,000 lines. Dimension 24 optimality and periodic uniqueness were completed in about 2 weeks.
https://github.com/math-inc/Sphere-Packing-Lean

🏰🐦 Watch the ghost of architect Sir Christopher Wren and a curious raven explore the timber frames and zig-zag brick patterns of 500-year-old Tudor #architecture.

The #animation explains how these wood-based structures survived – or didn't – through centuries of shifting tastes and the Great Fire of #London.

👉 Learn more: https://seethis.tv/post/tudor-buildings-and-the-great-fire-of-london-wren-and-raven-investigate?utm_source=mastodon&utm_medium=social&utm_campaign=new_content&utm_content=tudor-buildings-london-fire

#animals #birds #design #england #uk #fire #ghosts #glass #history #tksst #video

"The Drone Shadows are a series of installations, comprising of the outline of an unmanned aerial vehicle (UAV), or drone: a 1:1 representation conveying both the physical reality, and the apparent invisibility, of drone aircraft.

"You can draw drones too.

"The first Drone Shadow was drawn by myself and Einar Sneve Martinussen in London, in January 2012. Since then, I have painted more in Istanbul, Brighton, and Washington DC. A commissioned shadow in Brisbane in 2013 was censored by the state government, but others have been created in Sao Paolo,
Detroit and elsewhere. This handbook is a guide to creating more.

"Why would you want to draw a drone?

"Drones are used in wars and covert operations worldwide, by many countries. They are used to surveil, to fight, to assassinate, to police, to deter migrants - and to study hurricanes and fight forest fires. But they remain largely invisible, in part due to the manner of their operation, flying for long periods high in the atmosphere, and in part because the political motivations for their use prefer to remain obscure."

– James Bridle

[from Drone Shadow Handbook, 2013]

https://booktwo.org/

#theLibrary