Künstliche Intelligenzvor 2 Monaten
Fermats letzter Satz: KI liefert maschinell geprüften Beweis
Fermats letzter Satz: KI liefert maschinell geprüften Beweis Bewiesen ist Fermats letzter Satz seit 1995, doch nun hat das KI-Unternehmen Anthropic nach eigenen Angaben erstmals eine...