KI-Forschung
OpenAIs Mathe-Dump hat die Lunte gelegt
Eine Flut von maschinell erstellten Beweisen hat einen akademischen Streit in einen Test darüber verwandelt, wer den wissenschaftlichen Fortschritt gestalten darf. Der überraschende Engpass ist möglicherweise nicht, ob KI Antworten liefern kann, sondern ob diese jemand überprüfen und verstehen kann.
Artikel lesen→