01:01:18
publiée le 15 décembre 2025
Some remarks about machine learning and (un)natural proving
De Josef Urban
The Zeta Team
Apparaît dans la collection : 2023 - T3 - WS3 - Special Week
An innocent story of finding recursions for the sums of powers of binomial coefficients transformed into an intrigue involving creative telescoping and irrationality. The goalscorers performed as a dream team.
