Korte thread over de recente IMO-resultaten en de relatie tussen symbolische manipulatie, redeneren en intelligentie in machines en mensen:
87,45K