New Scientist

Mathematicians and AI in behind-the-scenes battle over what’s true

AI models are solving mathematics problems with increasing pace, and a technique called formalisation is key to demonstrating that their claimed solutions are indeed correct. But can we trust the formalisation process?

Por New Scientist

1 minuto de lectura
Compartir
Mathematicians and AI in behind-the-scenes battle over what’s true
Mathematicians and AI in behind-the-scenes battle over what’s true

¿Tiene noticias que compartir con el sector de eventos?

Envíe un comunicado de prensa o una noticia y llegue a miles de profesionales del sector de eventos.

Contáctenos→

Más en Science & R&D

Perspectivas relacionadas