Super rare card

List of mathematical discoveries by artificial intelligence

Value

200 W

Attack

903

Defence

722

Players

0

Beginning in the mid-2020s, large language models, including reasoning models, have made increasing progress in generating mathematical proofs at research level. Most such proofs have been conducted using models from OpenAI and Anthropic.

Español