The appearance of the star cluster Matariki, or the Pleiades, or Subaru, depending on where you’re from; marks the beginning of the M??ori year. Here in the Southern Hemisphere we’re in the depths of Winter. Traditionally this was a time to enjoy the harvested fruits of tribal labour, to gather with loved ones, thank the gods for the past year, and farewell with love those who had passed on. Each star in the Matariki cluster personifies an aspect of te taiao, the natural world, and is named accordingly. The position and relative brightness of each star allowed tohunga — expert traditional practitioners of science — to predict planting, fishing and weather conditions for the year ahead. All in all, an important time.
DeepMind AlphaGeometry: From Synthetic Data to Human-readable Proofs: AlphaGeometry???s Game-changing Approach
This is a short summary of the publication in Nature: AlphaGeometry is a theorem prover for Euclidean plane geometry that uses a neural language…