Vår AlphaProof-artikkel er i ukens utgave av @Nature! I 2024 tok @GoogleDeepMind sine bevisagenter AlphaProof og AlphaGeometry sammen et betydelig sprang innen AI ved å oppnå sølvmedaljestandarden i å løse IMO-problemer. Nature-artikkelen beskriver de tekniske innovasjonene som krevdes—spesielt RL-løkken som bygger bro mellom naturlig språk og symbolsk strenghet—som gjorde AlphaProof mulig.