This AI just figured out geometry — is this a step towards artificial reasoning?

In this episode:0:55 The AI that deduces solutions to complex maths problemsResearchers at Google Deepmind have developed an AI that can solve International Mathematical Olympiad-level geometry problems, something previous AIs have struggled with. They provided the system with a huge number of random mathematical theorems and proofs, which it used to approximate general rules of geometry. The AI then applied these rules to solve the Olympiad problems and show its workings for humans to check. The researchers hope their system shows that it is possible for AIs to ‘learn’ basic principles from large amounts of data and use them to tackle complex logical challenges, which could prove useful in fields outside mathematics.Research article: Trinh et al.09:46 Research HighlightsA stiff and squishy ‘hydrospongel’ — part sponge, part hydrogel — that could find use in soft robotics, and how the spread of rice paddies in sub-Saharan Africa helps to drive up atmospheric methane levels.Research Highlight: Stiff gel as squishable as a sponge takes its cue from cartilageResearch Highlight: A bounty of rice comes at a price: soaring methane emissions12:26 The food-web effects of mass predator die-offsMass Mortality Events, sometimes called mass die-offs, can result in huge numbers of a single species perishing in a short period of time. But there’s not a huge amount known about the effects that events like these might be having on wider ecosystems. Now, a team of researchers ha...
Source: Nature Podcast - Category: Science Authors: Source Type: podcasts