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.