OpenAI: KI widerlegt Exponential Time Hypothesis – was dran ist
OpenAI meldet drei KI-Beweise: ETH widerlegt, Kakeya-Vermutung gelöst, 4D-Quantenfeldtheorien. Zwei sind in Lean geprüft, begutachtet ist noch keiner.
5 Min.
Schlagwort · 1 artikel
OpenAI meldet drei KI-Beweise: ETH widerlegt, Kakeya-Vermutung gelöst, 4D-Quantenfeldtheorien. Zwei sind in Lean geprüft, begutachtet ist noch keiner.