AI a matematika
26.03.2025
Terence Tao, oceněný účastník matematických olympiád a přední matematik, přibližuje vývoj využití strojové asistence v matematice - od historických pomůcek přes symbolické výpočty až po formální dokazování a strojové učení.
