Document (#43087)

Author
Ornes, S.
Title
Mathematiker aus Silizium
Source
Spektrum der Wissenschaft. 2021, H.2, S.76-81
Year
2021
Series
Informatik
Abstract
Ein Computer, der eigenständig mathematische Vermutungen formuliert und diese auch beweist - davon träumen viele Wissenschaftler. Neue Methoden der künstlichen Intelligenz könnten die Zukunftsvision ein Stück näher bringen.
Field
Mathematik

Similar documents (content)

  1. Katzlberger, M.: GPT-3 - die erste allgemeine Künstliche Intelligenz? (2020) 0.15
    0.15035427 = sum of:
      0.15035427 = product of:
        0.66155875 = sum of:
          0.069815405 = weight(abstract_txt:viele in 1046) [ClassicSimilarity], result of:
            0.069815405 = score(doc=1046,freq=1.0), product of:
              0.11441391 = queryWeight, product of:
                1.49097 = boost
                5.5789747 = idf(docFreq=455, maxDocs=44421)
                0.01375484 = queryNorm
              0.61020035 = fieldWeight in 1046, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5789747 = idf(docFreq=455, maxDocs=44421)
                0.109375 = fieldNorm(doc=1046)
          0.18071565 = weight(abstract_txt:intelligenz in 1046) [ClassicSimilarity], result of:
            0.18071565 = score(doc=1046,freq=3.0), product of:
              0.14955516 = queryWeight, product of:
                1.7046303 = boost
                6.3784575 = idf(docFreq=204, maxDocs=44421)
                0.01375484 = queryNorm
              1.2083545 = fieldWeight in 1046, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.3784575 = idf(docFreq=204, maxDocs=44421)
                0.109375 = fieldNorm(doc=1046)
          0.12704086 = weight(abstract_txt:bringen in 1046) [ClassicSimilarity], result of:
            0.12704086 = score(doc=1046,freq=1.0), product of:
              0.1705324 = queryWeight, product of:
                1.820258 = boost
                6.8111186 = idf(docFreq=132, maxDocs=44421)
                0.01375484 = queryNorm
              0.7449661 = fieldWeight in 1046, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.8111186 = idf(docFreq=132, maxDocs=44421)
                0.109375 = fieldNorm(doc=1046)
          0.13240576 = weight(abstract_txt:näher in 1046) [ClassicSimilarity], result of:
            0.13240576 = score(doc=1046,freq=1.0), product of:
              0.17530027 = queryWeight, product of:
                1.8455286 = boost
                6.905677 = idf(docFreq=120, maxDocs=44421)
                0.01375484 = queryNorm
              0.7553084 = fieldWeight in 1046, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.905677 = idf(docFreq=120, maxDocs=44421)
                0.109375 = fieldNorm(doc=1046)
          0.15158106 = weight(abstract_txt:künstlichen in 1046) [ClassicSimilarity], result of:
            0.15158106 = score(doc=1046,freq=1.0), product of:
              0.19184093 = queryWeight, product of:
                1.9306347 = boost
                7.2241306 = idf(docFreq=87, maxDocs=44421)
                0.01375484 = queryNorm
              0.7901393 = fieldWeight in 1046, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.2241306 = idf(docFreq=87, maxDocs=44421)
                0.109375 = fieldNorm(doc=1046)
        0.22727273 = coord(5/22)
    
  2. Ammann, B.; Zentner, R.: Cédric Villani und die Künstliche Intelligenz (2018) 0.14
    0.14090684 = sum of:
      0.14090684 = product of:
        0.6199901 = sum of:
          0.04581643 = weight(abstract_txt:neue in 500) [ClassicSimilarity], result of:
            0.04581643 = score(doc=500,freq=1.0), product of:
              0.086402334 = queryWeight, product of:
                1.2956635 = boost
                4.8481684 = idf(docFreq=946, maxDocs=44421)
                0.01375484 = queryNorm
              0.53026843 = fieldWeight in 500, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.8481684 = idf(docFreq=946, maxDocs=44421)
                0.109375 = fieldNorm(doc=500)
          0.069815405 = weight(abstract_txt:viele in 500) [ClassicSimilarity], result of:
            0.069815405 = score(doc=500,freq=1.0), product of:
              0.11441391 = queryWeight, product of:
                1.49097 = boost
                5.5789747 = idf(docFreq=455, maxDocs=44421)
                0.01375484 = queryNorm
              0.61020035 = fieldWeight in 500, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5789747 = idf(docFreq=455, maxDocs=44421)
                0.109375 = fieldNorm(doc=500)
          0.10433623 = weight(abstract_txt:intelligenz in 500) [ClassicSimilarity], result of:
            0.10433623 = score(doc=500,freq=1.0), product of:
              0.14955516 = queryWeight, product of:
                1.7046303 = boost
                6.3784575 = idf(docFreq=204, maxDocs=44421)
                0.01375484 = queryNorm
              0.6976438 = fieldWeight in 500, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3784575 = idf(docFreq=204, maxDocs=44421)
                0.109375 = fieldNorm(doc=500)
          0.12704086 = weight(abstract_txt:bringen in 500) [ClassicSimilarity], result of:
            0.12704086 = score(doc=500,freq=1.0), product of:
              0.1705324 = queryWeight, product of:
                1.820258 = boost
                6.8111186 = idf(docFreq=132, maxDocs=44421)
                0.01375484 = queryNorm
              0.7449661 = fieldWeight in 500, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.8111186 = idf(docFreq=132, maxDocs=44421)
                0.109375 = fieldNorm(doc=500)
          0.2729812 = weight(abstract_txt:mathematiker in 500) [ClassicSimilarity], result of:
            0.2729812 = score(doc=500,freq=2.0), product of:
              0.22538403 = queryWeight, product of:
                2.0926232 = boost
                7.8302665 = idf(docFreq=47, maxDocs=44421)
                0.01375484 = queryNorm
              1.2111825 = fieldWeight in 500, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.8302665 = idf(docFreq=47, maxDocs=44421)
                0.109375 = fieldNorm(doc=500)
        0.22727273 = coord(5/22)
    
  3. Ritchie, D.: Gehirn und Computer : Die Evolution einer neuen Intelligenz (1984) 0.14
    0.14034186 = sum of:
      0.14034186 = product of:
        0.44107443 = sum of:
          0.017022427 = weight(abstract_txt:auch in 6456) [ClassicSimilarity], result of:
            0.017022427 = score(doc=6456,freq=2.0), product of:
              0.051468443 = queryWeight, product of:
                3.7418423 = idf(docFreq=2862, maxDocs=44421)
                0.01375484 = queryNorm
              0.33073524 = fieldWeight in 6456, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.7418423 = idf(docFreq=2862, maxDocs=44421)
                0.0625 = fieldNorm(doc=6456)
          0.032025885 = weight(abstract_txt:computer in 6456) [ClassicSimilarity], result of:
            0.032025885 = score(doc=6456,freq=3.0), product of:
              0.06852205 = queryWeight, product of:
                1.1538376 = boost
                4.317478 = idf(docFreq=1609, maxDocs=44421)
                0.01375484 = queryNorm
              0.4673807 = fieldWeight in 6456, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.317478 = idf(docFreq=1609, maxDocs=44421)
                0.0625 = fieldNorm(doc=6456)
          0.026180817 = weight(abstract_txt:neue in 6456) [ClassicSimilarity], result of:
            0.026180817 = score(doc=6456,freq=1.0), product of:
              0.086402334 = queryWeight, product of:
                1.2956635 = boost
                4.8481684 = idf(docFreq=946, maxDocs=44421)
                0.01375484 = queryNorm
              0.30301052 = fieldWeight in 6456, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.8481684 = idf(docFreq=946, maxDocs=44421)
                0.0625 = fieldNorm(doc=6456)
          0.039894518 = weight(abstract_txt:viele in 6456) [ClassicSimilarity], result of:
            0.039894518 = score(doc=6456,freq=1.0), product of:
              0.11441391 = queryWeight, product of:
                1.49097 = boost
                5.5789747 = idf(docFreq=455, maxDocs=44421)
                0.01375484 = queryNorm
              0.34868592 = fieldWeight in 6456, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5789747 = idf(docFreq=455, maxDocs=44421)
                0.0625 = fieldNorm(doc=6456)
          0.0574145 = weight(abstract_txt:wissenschaftler in 6456) [ClassicSimilarity], result of:
            0.0574145 = score(doc=6456,freq=1.0), product of:
              0.1458426 = queryWeight, product of:
                1.6833394 = boost
                6.2987905 = idf(docFreq=221, maxDocs=44421)
                0.01375484 = queryNorm
              0.3936744 = fieldWeight in 6456, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2987905 = idf(docFreq=221, maxDocs=44421)
                0.0625 = fieldNorm(doc=6456)
          0.1460403 = weight(abstract_txt:intelligenz in 6456) [ClassicSimilarity], result of:
            0.1460403 = score(doc=6456,freq=6.0), product of:
              0.14955516 = queryWeight, product of:
                1.7046303 = boost
                6.3784575 = idf(docFreq=204, maxDocs=44421)
                0.01375484 = queryNorm
              0.97649795 = fieldWeight in 6456, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                6.3784575 = idf(docFreq=204, maxDocs=44421)
                0.0625 = fieldNorm(doc=6456)
          0.12249599 = weight(abstract_txt:künstlichen in 6456) [ClassicSimilarity], result of:
            0.12249599 = score(doc=6456,freq=2.0), product of:
              0.19184093 = queryWeight, product of:
                1.9306347 = boost
                7.2241306 = idf(docFreq=87, maxDocs=44421)
                0.01375484 = queryNorm
              0.63852894 = fieldWeight in 6456, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.2241306 = idf(docFreq=87, maxDocs=44421)
                0.0625 = fieldNorm(doc=6456)
        0.3181818 = coord(7/22)
    
  4. Neubauer, R.: Meine Glotze, deine Glotze : Google sichert sich die Internet-Videoplattform You Tube für 1,65 Milliarden Dollar / 72 Millionen Nutzer lassen die Werbeeinnahmen explodieren (2006) 0.12
    0.116799034 = sum of:
      0.116799034 = product of:
        0.32119733 = sum of:
          0.013030082 = weight(abstract_txt:auch in 57) [ClassicSimilarity], result of:
            0.013030082 = score(doc=57,freq=3.0), product of:
              0.051468443 = queryWeight, product of:
                3.7418423 = idf(docFreq=2862, maxDocs=44421)
                0.01375484 = queryNorm
              0.25316644 = fieldWeight in 57, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.7418423 = idf(docFreq=2862, maxDocs=44421)
                0.0390625 = fieldNorm(doc=57)
          0.016535955 = weight(abstract_txt:diese in 57) [ClassicSimilarity], result of:
            0.016535955 = score(doc=57,freq=2.0), product of:
              0.06905994 = queryWeight, product of:
                1.1583574 = boost
                4.3343906 = idf(docFreq=1582, maxDocs=44421)
                0.01375484 = queryNorm
              0.23944351 = fieldWeight in 57, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.3343906 = idf(docFreq=1582, maxDocs=44421)
                0.0390625 = fieldNorm(doc=57)
          0.01636301 = weight(abstract_txt:neue in 57) [ClassicSimilarity], result of:
            0.01636301 = score(doc=57,freq=1.0), product of:
              0.086402334 = queryWeight, product of:
                1.2956635 = boost
                4.8481684 = idf(docFreq=946, maxDocs=44421)
                0.01375484 = queryNorm
              0.18938157 = fieldWeight in 57, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.8481684 = idf(docFreq=946, maxDocs=44421)
                0.0390625 = fieldNorm(doc=57)
          0.024934076 = weight(abstract_txt:viele in 57) [ClassicSimilarity], result of:
            0.024934076 = score(doc=57,freq=1.0), product of:
              0.11441391 = queryWeight, product of:
                1.49097 = boost
                5.5789747 = idf(docFreq=455, maxDocs=44421)
                0.01375484 = queryNorm
              0.21792871 = fieldWeight in 57, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5789747 = idf(docFreq=455, maxDocs=44421)
                0.0390625 = fieldNorm(doc=57)
          0.045371734 = weight(abstract_txt:bringen in 57) [ClassicSimilarity], result of:
            0.045371734 = score(doc=57,freq=1.0), product of:
              0.1705324 = queryWeight, product of:
                1.820258 = boost
                6.8111186 = idf(docFreq=132, maxDocs=44421)
                0.01375484 = queryNorm
              0.2660593 = fieldWeight in 57, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.8111186 = idf(docFreq=132, maxDocs=44421)
                0.0390625 = fieldNorm(doc=57)
          0.047287777 = weight(abstract_txt:näher in 57) [ClassicSimilarity], result of:
            0.047287777 = score(doc=57,freq=1.0), product of:
              0.17530027 = queryWeight, product of:
                1.8455286 = boost
                6.905677 = idf(docFreq=120, maxDocs=44421)
                0.01375484 = queryNorm
              0.269753 = fieldWeight in 57, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.905677 = idf(docFreq=120, maxDocs=44421)
                0.0390625 = fieldNorm(doc=57)
          0.04816001 = weight(abstract_txt:könnten in 57) [ClassicSimilarity], result of:
            0.04816001 = score(doc=57,freq=1.0), product of:
              0.17744933 = queryWeight, product of:
                1.8568066 = boost
                6.9478774 = idf(docFreq=115, maxDocs=44421)
                0.01375484 = queryNorm
              0.27140146 = fieldWeight in 57, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.9478774 = idf(docFreq=115, maxDocs=44421)
                0.0390625 = fieldNorm(doc=57)
          0.10951468 = weight(abstract_txt:stück in 57) [ClassicSimilarity], result of:
            0.10951468 = score(doc=57,freq=1.0), product of:
              0.30685383 = queryWeight, product of:
                2.4417167 = boost
                9.1365185 = idf(docFreq=12, maxDocs=44421)
                0.01375484 = queryNorm
              0.35689527 = fieldWeight in 57, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.1365185 = idf(docFreq=12, maxDocs=44421)
                0.0390625 = fieldNorm(doc=57)
        0.36363637 = coord(8/22)
    
  5. Albrecht, I.: GPT-3: die Zukunft studentischer Hausarbeiten oder eine Bedrohung der wissenschaftlichen Integrität? (2023) 0.10
    0.103810474 = sum of:
      0.103810474 = product of:
        0.45676607 = sum of:
          0.015045843 = weight(abstract_txt:auch in 1882) [ClassicSimilarity], result of:
            0.015045843 = score(doc=1882,freq=1.0), product of:
              0.051468443 = queryWeight, product of:
                3.7418423 = idf(docFreq=2862, maxDocs=44421)
                0.01375484 = queryNorm
              0.29233143 = fieldWeight in 1882, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.7418423 = idf(docFreq=2862, maxDocs=44421)
                0.078125 = fieldNorm(doc=1882)
          0.02338537 = weight(abstract_txt:diese in 1882) [ClassicSimilarity], result of:
            0.02338537 = score(doc=1882,freq=1.0), product of:
              0.06905994 = queryWeight, product of:
                1.1583574 = boost
                4.3343906 = idf(docFreq=1582, maxDocs=44421)
                0.01375484 = queryNorm
              0.33862427 = fieldWeight in 1882, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.3343906 = idf(docFreq=1582, maxDocs=44421)
                0.078125 = fieldNorm(doc=1882)
          0.09632002 = weight(abstract_txt:könnten in 1882) [ClassicSimilarity], result of:
            0.09632002 = score(doc=1882,freq=1.0), product of:
              0.17744933 = queryWeight, product of:
                1.8568066 = boost
                6.9478774 = idf(docFreq=115, maxDocs=44421)
                0.01375484 = queryNorm
              0.54280293 = fieldWeight in 1882, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.9478774 = idf(docFreq=115, maxDocs=44421)
                0.078125 = fieldNorm(doc=1882)
          0.10827218 = weight(abstract_txt:künstlichen in 1882) [ClassicSimilarity], result of:
            0.10827218 = score(doc=1882,freq=1.0), product of:
              0.19184093 = queryWeight, product of:
                1.9306347 = boost
                7.2241306 = idf(docFreq=87, maxDocs=44421)
                0.01375484 = queryNorm
              0.5643852 = fieldWeight in 1882, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.2241306 = idf(docFreq=87, maxDocs=44421)
                0.078125 = fieldNorm(doc=1882)
          0.21374267 = weight(abstract_txt:eigenständig in 1882) [ClassicSimilarity], result of:
            0.21374267 = score(doc=1882,freq=1.0), product of:
              0.3018961 = queryWeight, product of:
                2.4219115 = boost
                9.06241 = idf(docFreq=13, maxDocs=44421)
                0.01375484 = queryNorm
              0.7080008 = fieldWeight in 1882, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.06241 = idf(docFreq=13, maxDocs=44421)
                0.078125 = fieldNorm(doc=1882)
        0.22727273 = coord(5/22)