Sujets

Démonstrations mathématiques générées par l’IA

Utilisation de systèmes d’intelligence artificielle pour contribuer à la production de démonstrations mathématiques, ainsi que les questions connexes de vérification, de transparence et d’attribution du mérite.

Dernières actualités

CN
Des mathématiciens alertent sur la montée des tensions avec les laboratoires d’IA

Des mathématiciens alertent sur la montée des tensions avec les laboratoires d’IA

25 des plus éminents mathématiciens, tous lauréats de la médaille Fields, ont signé une lettre ouverte avertissant que la course des laboratoires d’intelligence artificielle pour résoudre des problèmes célèbres menace l’attribution des idées et la transparence de la recherche. Cette démarche intervient alors que les tensions s’intensifient entre OpenAI et des chercheurs universitaires au sujet de la documentation, de la publication des preuves et de l’utilisation des travaux des chercheurs.