Wird Beweisen von einfachen bis mittelmässigen Problemen in naher Zukunft von KI-Programmen übernommen?
Bin ein Tag lang an einem Beweis gesessen.
GPT-Chat löste es in wenigen Sekunden. (Autsch)
3 Antworten
Ja und? Hättest Du gleich ChatGPT gefragt, hättest Du nicht gedacht, gelernt und würdest es auch nicht verstehen. Wo läge also der Vorteil?
Selbst wenn die Ki sowas kann würde ich dir immer dann noch raten es selber zu versuchen. Damit man Ahnung hat, was überhaupt die Ki erzählt
Vermutlich, sie können schnell ganz viele Simulationen und Rechnungen durchführen. Aber ich glaube nicht alle. Da manche einen anderen Blickwinkel brauchen und die Ki hat nur ein Programm
Wenn es ChatGPT kann, hätte wahrscheinlich auch Google geholfen, und du wärst auf Menschen gestoßen, die wirklich verstehen, was sie tun und nicht nur Wortfetzen aneinanderreihen.
Maschinengestütztes Beweisen gibt es schon lange: https://de.wikipedia.org/wiki/Maschinengest%C3%BCtztes_Beweisen, wird in Zukunft wahrscheinlich nur etwas einfacher.
Stimmt