Résultats pour « ⁨Terence Tao⁩ »

IA

Terence Tao, médaillé Fields longtemps vu comme le guide des mathématiques à l'ère de l'IA, avertit désormais que l'intelligence artificielle pourrait démanteler le processus délibératif de la discipline, dans un portrait du New Yorker.

IA

Seules 10 des 719 preuves mathématiques d'OpenAI incluaient une chaîne de raisonnement, et un nouvel article révèle des divergences entre les preuves en langage naturel et le code Lean.