Search (2 results, page 1 of 1)

  • × author_ss:"Hartnett, K."
  1. Hartnett, K.: Werden Computer das Wesen der Mathematik verändern? (2016) 0.01 
    0.010782304 = product of:
  0.043129217 = sum of:
    0.043129217 = weight(_text_:und in 3259) [ClassicSimilarity], result of:
      0.043129217 = score(doc=3259,freq=6.0), product of:
        0.1271084 = queryWeight, product of:
          2.216367 = idf(docFreq=13101, maxDocs=44218)
          0.057349887 = queryNorm
        0.33931053 = fieldWeight in 3259, product of:
          2.4494898 = tf(freq=6.0), with freq of:
            6.0 = termFreq=6.0
          2.216367 = idf(docFreq=13101, maxDocs=44218)
          0.0625 = fieldNorm(doc=3259)
  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.
  2. Hartnett, K.: Sind Sprachmodelle bald die besseren Mathematiker? (2023) 0.01 
    0.0077814576 = product of:
  0.03112583 = sum of:
    0.03112583 = weight(_text_:und in 988) [ClassicSimilarity], result of:
      0.03112583 = score(doc=988,freq=2.0), product of:
        0.1271084 = queryWeight, product of:
          2.216367 = idf(docFreq=13101, maxDocs=44218)
          0.057349887 = queryNorm
        0.24487628 = fieldWeight in 988, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          2.216367 = idf(docFreq=13101, maxDocs=44218)
          0.078125 = fieldNorm(doc=988)
  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.

Years