AI solves decades-old mathematical problem on its own
This article is only available in German.
Some mathematicians were so prolific that people can barely keep up with the work they left behind. Paul Erdős (1913–1996) is a prime example: he left hundreds of unsolved problems. One of these, posed in 1975, has now been solved by an entirely AI-generated proof.
What happened?
AI models are increasingly impressing with their mathematical abilities. In this case, a model developed a proof largely independently, which experts subsequently checked. The mathematical community is continually learning how best to use such programs – as tools that generate ideas for humans to verify.
Why this matters to us
AI methods are also becoming increasingly important in actuarial work – for example, in model validation, reserving and the analysis of large datasets. However, the same principle applies as with the Erdős proof: results must be transparent and subject to expert scrutiny. This is precisely where actuaries’ responsibility lies.
Source: DER STANDARD
ks actuaries
