Um diese Woche zusammenzufassen: - Wir haben einen allgemeinen Computer mit Agenten veröffentlicht. - Wir wurden von einem einzelnen Menschen im Atcoder-Heuristik-Wettbewerb geschlagen. - Wir haben 5 von 6 neuen IMO-Problemen mit natürlichen Sprachbeweisen gelöst. All dies basiert auf demselben einzelnen Verstärkungslernsystem.