Les 722 articles de mathématiques d'OpenAI sont un signal d'alarme, pas un triomphe

OpenAI publiant 722 articles mathématiques écrits par l'IA en une journée est le genre de titre qui fait que les gens se réjouissent ou paniquent, et les deux réactions passent à côté de l'essentiel.

La partie utile : de nombreuses épreuves sont livrées avec les versions Lean qu'un ordinateur peut vérifier ligne par ligne. C'est réel, et c'est un pas vers des mathématiques que vous pouvez vérifier sans comité.

La partie inconfortable : le volume lui-même a été qualifié de « slopocalypse » par les mathématiciens qui s'opposaient au processus et non aux résultats. Rien de tout cela n’a résolu le problème du Prix du Millénaire.

La leçon pour le reste d’entre nous : l’IA peut désormais produire un travail de niveau expert plus rapidement que nous ne pouvons le vérifier. Le goulot d’étranglement n’a jamais été la génération. C’était une vérification, et ça l’est toujours.

Célébrez la capacité, mais construisez la vérification. Un monde qui ne peut pas vérifier ce qu’il génère est un monde qui transmet des absurdités confiantes à grande échelle.