künstlichen Intelligenz

Dieser Zahlentheoretiker befürchtet, dass viele unserer Mathe-Grundlagen falsch sind

Mathematische Beweise sind so komplex geworden, dass sie eigentlich kein Mensch mehr verstehen kann. Aber vielleicht Computer.