Search (2 results, page 1 of 1)

0.0112955 = product of:
  0.045182 = sum of:
    0.045182 = weight(_text_:und in 4259) [ClassicSimilarity], result of:
      0.045182 = score(doc=4259,freq=6.0), product of:
        0.13306628 = queryWeight, product of:
          2.217899 = idf(docFreq=13141, maxDocs=44421)
          0.059996545 = queryNorm
        0.33954507 = fieldWeight in 4259, product of:
          2.4494898 = tf(freq=6.0), with freq of:
            6.0 = termFreq=6.0
          2.217899 = idf(docFreq=13141, maxDocs=44421)
          0.0625 = fieldNorm(doc=4259)
  0.25 = coord(1/4)

Abstract

Einer der größten Mathematiker der Gegenwart findet in einer eigenen Arbeit einen Fehler - und stürzt sich in ein Projekt mit dem Ziel, das Beweisen gänzlich dem Computer anzuvertrauen. Dazu muss er nichts weniger als die Grundlagen der Mathematik neu fassen. Bericht über das Programm von Vladimir Voevodsky und sein Programm Coq, das über eine Formalisierung auf Basis der Typentheorie das rechnergestützte Überprüfen von mathematischen Aussagen und Beweisen ermöglichen soll.

0.008151825 = product of:
  0.0326073 = sum of:
    0.0326073 = weight(_text_:und in 1990) [ClassicSimilarity], result of:
      0.0326073 = score(doc=1990,freq=2.0), product of:
        0.13306628 = queryWeight, product of:
          2.217899 = idf(docFreq=13141, maxDocs=44421)
          0.059996545 = queryNorm
        0.24504554 = fieldWeight in 1990, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          2.217899 = idf(docFreq=13141, maxDocs=44421)
          0.078125 = fieldNorm(doc=1990)
  0.25 = coord(1/4)

Abstract

Algorithmen wie ChatGPT tun sich selbst mit einfachen Rechenaufgaben noch immer schwer. Zwei neue Ansätze sollen das ändern - und könnten KI deutlich intelligenter machen.