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 have built a model ecosystem to observe the impact of mass die-offs on the delicate balance of populations within it.Research article: Tye et al.20:53 Briefing ChatAn update on efforts to remove the stuck screws on OSIRIS-REx’s sample container, the ancient, fossilized skin that was preserved in petroleum, and a radical suggestion to save the Caribbean’s coral reefs.OSIRIS-REx Mission Blog: NASA’s OSIRIS-REx Team Clears Hurdle to Access Remaining Bennu Sample Nature News: This is the oldest fossilized reptile skin ever found — it pre-dates the dinosaursNature News: Can foreign coral save a dying reef? Radical idea sparks debateSubscribe to Nature Briefing, an unmissable daily round-up of science news, opinion and analysis free in your inbox every weekday. Hosted on Acast. See acast.com/privacy for more information.