Om deze week samen te vatten: - we hebben een algemeen doel computer vrijgegeven met behulp van een agent - zijn verslagen door een enkele mens in de atcoder heuristics competitie - hebben 5/6 nieuwe IMO problemen opgelost met natuurlijke taal bewijzen Al deze zijn gebaseerd op hetzelfde enkele versterkingsleer systeem
135,22K