Lean is software that allows mathematical proofs to be written and checked as computer code. Mathematician Terence Tao uses it as a part of his collaborative approach to solving complex mathematical problems.
www.quantamagazine.org/how-terry-ta...
We're hosting over 60 summer interns across the foundation and at the @flatironinstitute.org. Here's to a fun and engaging summer! #science #math
New research on the liver could help scientists develop treatments to reduce symptoms of Alzheimer’s disease in those unable to regularly exercise on their own: https://bit.ly/42XGSJ5 #science #aging #neuroscience
@flatironinstitute.org physicist Marc Ritter and filmmaker Elsa Wong teamed up to create MOSS, a short film that explores feedback loops between our ideas and the natural world. Stream full film: https://bit.ly/4fxUsue
#science #math #InfiniteSums #Symbiosis
Congratulations to Kelsey Martin (@kelseycmartin.bsky.social) on being awarded the prestigious Kavli Prize in Neuroscience! Her work helped solve the mystery of how our brains learn in mere minutes, leading to insights into how the brain and brain disorders work: https://bit.ly/3SaMqNZ #KavliPrize
This week, @quantabooks.org released "The Proof in the Code" by journalist @kevinhartnett.bsky.social, which tells the story of the birth and rise of Lean, a proof assistant that’s shifting the way mathematicians seek truth: https://bit.ly/43msryr #math #science
What if you could literally play with math? What if you could climb on it, move around it, and think about it differently? This is the philosophy behind Math Playground, a collab between mathematician Fumiko Futamura, Fusebox's Ron Berry and #InfiniteSums ambassador Jiabao Li: https://bit.ly/4uFKvyQ
Applications are due next Monday (June 15) for our workshops on quantitative behavioral phenotyping in autism: https://bit.ly/4nyYQuV #science #autismresearch
Video
One of the largest shifts in the history of mathematics is happening right now, and a new book from Quanta Books chronicles the people and project responsible.
The Kavli Foundation announced that Simons Foundation EVP of Autism and Neuroscience Kelsey Martin will receive the prestigious Kavli Prize in Neuroscience.
www.simonsfoundation.org
Artist Jiabao Li talks about transforming abstract math into climbable sculptures and how friendship leads to great collaborations.
With the World Cup arriving in North America today, The Tech Interactive is partnering with the San Jose Earthquakes o bring #math activations to #soccer fans — from reaction time statistics to geometry. #InfiniteSums math ambassador Kristen Martin Lai explains how: https://bit.ly/4oH3urn #WorldCup
With the arrival of the World Cup, Martin Lai discusses how The Tech is illuminating the connections between math and soccer.
ICYMI: Scientists from the Simons Collaboration on the Global Brain have shed new light on how human brains are wired when it comes to imagining and seeing objects: https://bit.ly/4wpdtVl #science #neuroscience
bit.ly
Researchers make advances in understanding how human brains are wired by pinning down how the same neurons are used for both imagining and seeing objects.
