Ist OpenAI ein Trojanisches Pferd?

OpenAI und der NYU-Mathematiker Tristan Buckmaster streiten um die Anerkennung fuer Lean-verifizierte Beweise zu den Euler-Gleichungen. Fields-Medaillist Terence Tao aeussert sich zur wachsenden Spannung zwischen KI-Labors und Forschern.








