A Guardian science video discusses an OpenAI mathematics announcement and concerns expressed by mathematicians about the relationship between AI companies and their field. It features an interview with mathematician Colva Roney-Dougal.
The discussion considers how researchers may work with increasingly capable systems. Readers should consult the linked programme and original mathematical work for details of any claimed result.
Proof and verification remain central
The discussion follows an announced AI result and concerns expressed by leading mathematicians about the direction of research. Producing a plausible solution, checking a proof and understanding why it works are different activities. The video explores what increasingly capable tools may change about mathematical work and its institutions.
Join the conversation