heise+ | Mathe-Beweise durch KI: Warum Mathematiker den Modell-Anbietern misstrauen
TL;DR
KI-generiert
OpenAI setzte erhebliche Ressourcen ein, um die Navier-Stokes-Gleichungen zu lösen, ein mathematisches Problem, das seit 90 Jahren unbewiesen ist. Dies geschah offenbar, um zwei menschlichen Mathematikern zuvorzukommen, von denen einer für Anthropic arbeitet.
Quelle: heise.de
Zum selben Ereignis
- Spitzen-Mathematiker warnen vor KI-Wettlauf um Beweise
- heise+ | Mathe-Beweise durch KI: Warum Mathematiker den Modell-Anbietern misstrauen
Diskussion
Anmelden, um mitzudiskutieren.
Noch keine Kommentare. Mach den Anfang!