Delar gärna med mig av nya framsteg inom AI för matematik @GoogleDeepMind. Inom extremal kombinatorik har AlphaEvolve hjälpt till att fastställa nya nedre gränser för FEM klassiska Ramsey-tal – ett problem så utmanande att till och med Erdős kommenterade dess svårighetsgrad. Historiskt sett krävdes beräkningsmässigt skräddarsydda, människodesignade sökalgoritmer för att härleda dessa gränser. För många av dessa gränser är de bästa tidigare resultaten minst ett decennium gamla. AlphaEvolve ändrar detta genom att fungera som en enda meta-algoritm som automatiskt upptäcker de sökprocedurer som behövs för att hitta dessa nya gränser. 📷