Dorothee Haroske, Leszek Skrzypczak: „Nonsensowne” pomysły da się zmienić w fundamenty matematycznej analizy
Czy sztuczna inteligencja może zachwiać zaufaniem do matematycznych dowodów? Dlaczego czasem najlepszym narzędziem badawczym jest rozmowa przy kawie? Odpowiada polsko-niemiecki duet – prof. Dorothee Haroske z Friedrich-Schiller-Universität Jena i prof. Leszek Skrzypczak z Uniwersytetu im. Adama Mickiewicza w Poznaniu. Oboje są tegorocznymi laureatami Polsko-Niemieckiej Nagrody Naukowej COPERNICUS 2026, przyznawanej przez Fundację na rzecz Nauki Polskiej i Deutsche Forschungsgemeinschaft (DFG). [Artykuł także do słuchania]