- LeanAgent, a new AI system, independently proved 162 theorems that had never been proven by humans, drawn from 23 advanced-mathematics Lean repositories; the pre-print is at https://arxiv.org/abs/2410.06209.  
- Participants debated the implications of such automated theorem-proving, asking half-seriously whether human mathematicians are becoming obsolete.  
- A “manifesto” and related project materials that originated on Twitter were copied into the diyhpl.us wiki to create a stable, archival record.  
- A ScienceAlert article (https://www.sciencealert.com/scientists-revived-a-pigs-brain-nearly-a-whole-hour-after-it-died) was shared, describing how researchers restored cellular activity in a pig’s brain nearly 60 minutes post-mortem—an advance with potential relevance to organ-preservation and “liver-in-a-box” perfusion technologies.