Advancing the frontiers of basic science through grantmaking, research and public engagement. Sign up for our newsletter: simonsfoundation.org/newslet…
Last year, we supported programs that advanced the frontiers of research in #math and basic #science around the world. Our 2024 annual report dives deep into a handful of these endeavors: annualreports.simonsfoundati…
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 collaboration between mathematician Fumiko Futamura, @FuseboxFestival’s Ron Berry and #InfiniteSums math ambassador Jiabao Li.
Read more about Li and this sculpture project: bit.ly/4uFKvyQ#math#art#science
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: bit.ly/4wpdtVl#science#neuroscience
This week, @QuantaBks released "The Proof in the Code" by journalist Kevin Hartnett, which tells the story of the birth and rise of Lean, a proof assistant that’s shifting the way mathematicians seek truth: bit.ly/43msryr#math#science
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.
quantamagazine.org/how-terry…
Terence Tao doesn’t think AI will replace human mathematicians anytime soon, but he does consider it well suited to helping solve certain types of complex mathematical problems: ones that can be broken into thousands of small, manageable subproblems.
quantamagazine.org/how-terry…
With the World Cup arriving in North America today, The Tech Interactive is partnering with the @SJEarthquakes to bring math activations to soccer fans — from reaction time statistics to geometry and angles. #InfiniteSums math ambassador Kristen Martin Lai explains how: bit.ly/4oH3urn#math#soccer#WorldCup
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: bit.ly/42XGSJ5#science#aging#neuroscience
ALT quote from Saul Villeda: "“One of the few interventions that is just tried and true, in that you know that it has an impact, especially on the brain, is exercise,”
Congratulations to Kelsey Martin on being awarded the prestigious @KavliPrize 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: bit.ly/3SaMqNZ#KavliPrize#neuroscience#science
We're thrilled to announce the 2026 #KavliPrize Laureates, scientists pushing boundaries of what humanity knows in #astrophysics#nanoscience#neuroscience. They have revealed new chapters in the story of our universe, the smallest materials, and how the brain works. 1/2
Terence Tao could have built a career without collaboration, but that’s not the way he likes to work. He views working with other researchers as a primary way to discover new ideas — take what you know, pair it with what I know, and see what happens.
quantamagazine.org/how-terry…
According to Edvard Moser, director of the Kavli Institute for Systems Neuroscience, the four recipients of the Kavli Prize in Neuroscience challenged what had long been regarded as a central dogma in neuroscience.
By Alissa de Chassey
thetransmitter.org/awards/fo…
New data from the LIGO-Virgo-KAGRA collaboration revealed two distinct types of black holes: small and slowly spinning ones vs. heavier ones that spin much faster: bit.ly/42XYmF1#science#astrophysics
ALT quote from Maximiliano Isi: “This is a clear sign that there are multiple pathways to creating black holes.”
In his new book, "The Proof in the Code: How a Truth Machine Is Transforming Math and AI," Kevin Hartnett (@KSHartnett) tells the definitive story of computer program Lean in an effort to answer a longstanding question: Can computers reveal universal truths? Out today from @QuantaBks: bit.ly/43X5To1#science#math
At this month’s Presents, journalist Kevin Hartnett (@KSHartnett) joined @QuantaBks’ Thomas Lin (@7homaslin) to explore the future of human-computer collaborations and how computer programs like Lean are reshaping math.
Learn more about the inside story of Lean in Hartnett’s new book: "The Proof in the Code." bit.ly/43X5To1#math#science
Credit: Magicshak Media
📢 Researchers: PBMCs from Simons Searchlight are now available through SFARI Base for iPSC generation.
The new centralized application process makes it easier to request samples and advance research in rare genetic conditions.
Learn more: base.sfari.org/