Ornes, S.: Mathematiker aus Silizium (2021)
0.01
0.013107955 = product of:
0.07864773 = sum of:
0.07864773 = weight(_text_:computer in 85) [ClassicSimilarity], result of:
0.07864773 = score(doc=85,freq=2.0), product of:
0.16231956 = queryWeight, product of:
3.6545093 = idf(docFreq=3109, maxDocs=44218)
0.044416238 = queryNorm
0.48452407 = fieldWeight in 85, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.6545093 = idf(docFreq=3109, maxDocs=44218)
0.09375 = fieldNorm(doc=85)
0.16666667 = coord(1/6)
- 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.