Links for 2023-06-07
Peano: learning formal mathematical reasoning — “General mathematical reasoning is computationally undecidable, but humans routinely solve new problems. Moreover, discoveries developed over centuries are taught to subsequent generations quickly. What structure enables this, and how might that inform automated mathematical reasoning? … Adding the ability to induce reusable abstractions (‘tactics’) from its own solutions allows an agent to make steady progress, solving all problems. Furthermore, these abstractions induce an order to the problems, seen at random during training.” https://royalsocietypublishing.org/doi/10.1098/rsta.2022.0044
Scaling audio-visual learning without labels: A new multimodal technique blends major self-supervised learning methods to learn more similarly to humans. https://news.mit.edu/2023/scaling-audio-visual-learning-without-labels-0605
New research from Meta AI: Hiera is an extremely simple hierarchical vision transformer that's both more accurate than previous models + significantly faster at inference and during training. https://arxiv.org/abs/2306.00989
Controllable Text-to-Image Generation with GPT-4 https://arxiv.org/abs/2305.18583
Humans and chimps use the same brain areas for the same types of cognitive tasks. At the same time, each species shows greater connectivity in areas associated with evolved specializations: language for humans; spatial working memory for chimps. https://www.pnas.org/doi/10.1073/pnas.2218565120
Study reveals unique molecular machinery of woman who can’t feel pain https://www.ucl.ac.uk/news/2023/may/study-reveals-unique-molecular-machinery-woman-who-cant-feel-pain
Feasibility of mapping the human brain with expansion x-ray microscopy https://logancollinsblog.com/2023/02/22/feasibility-of-mapping-the-human-brain-with-expansion-x-ray-microscopy/
This is the loneliest galaxy in the known Universe: Located smack in the middle of a supervoid, this galaxy has no known galactic neighbors for ~100 million light-years in all directions. https://bigthink.com/starts-with-a-bang/loneliest-galaxy-in-universe/
Does Fire Have a Shadow? [Discover Magazine] https://archive.is/QCdXT
Which test has the highest g loading? https://www.emilkirkegaard.com/p/which-test-has-the-highest-g-loading
Keir Starmer says nuclear power is ‘critical part’ of UK’s energy mix https://www.theguardian.com/politics/2023/jun/04/keir-starmer-says-nuclear-power-is-critical-part-of-uks-energy-mix
Nearly a third of Gen Z support the government installing surveillance cameras in every household to prevent crime and abuse. https://twitter.com/emilyekins/status/1665729606379360261
Russian War Crimes Caught On Camera, 25 FEB 2022, Hostomel. https://twitter.com/Cosmonaut19/status/1665695036711874560
Russian Defense Ministry labels destroyed agricultural equipment as Leopard 2 tanks. https://twitter.com/UAWeapons/status/1666096408414543875