Stefano Cataldi, a neuroscientist at Columbia University studying serotonin's role in cognition, is weighing whether to leave bench research entirely to focus on science policy work. He is a delegate for the United Auto Workers union representing postdocs and research scientists, and last year he founded SCOPE, a Cold Spring Harbor Laboratory-backed program that teaches scientists about policy, communication and career resources.
nature.com
· 2026-09-08
Anthropic researcher Tianyi Peng tested whether the Claude AI model could formalize Fermat's Last Theorem in the Lean proof assistant, and over 11 days of largely autonomous work, Claude generated an end-to-end, machine-checked proof. The system wrote roughly 13 million lines of Lean code and proved about 29,500 intermediate theorems, building on decades of prior work including Andrew Wiles's 1995 proof and a community formalization effort led by Kevin Buzzard since 2024.
anthropic.com
· 2026-09-04
Researchers analyzed nearly half a million brain cells from tissue of 30 deceased individuals, creating a detailed cellular map of the adult hippocampus. The study, published in Nature Medicine, found that people who had depression showed disrupted production of new neurons compared with those without the disorder.
nature.com
· 2026-08-25
GoKawiil