Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435)
From MaRDI portal
scientific article; zbMATH DE number 7298901
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 |
scientific article; zbMATH DE number 7298901 |
Statements
Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (English)
0 references
20 January 2021
0 references
mechanized mathematics
0 references
benchmark library
0 references
