Peut-on se fier aux preuves apportées par les IA sur leurs démonstrations de maths ?

Les géants du numérique ont recours à des assistants de preuve pour démontrer la fiabilité des réponses de leurs intelligences artificielles. Mais ces programmes, comme tout outil informatique, ne sont pas exempts de bugs.

Read the full story at Le Monde ↗