TAOPrix de TAO(Bittensor)

L'IA génère désormais un tel nombre de démonstrations mathématiques que la communauté a du mal à les absorber. Face à ce défi, deux médaillés Fields, Terence Tao et Wang Hong, s'accordent sur une réponse clé : la nécessité de **« digérer »** ces preuves. Terence Tao a personnellement passé plusieurs jours à analyser et réorganiser une preuve, validée par l'IA via Lean, du conjecture de Sendov, restée ouverte pendant 67 ans. Ce processus de digestion ne se limite pas à une simple vérification. Il permet de simplifier l'argument (réduisant le code de 90 000 à 15 000 lignes), d'en clarifier la structure logique pour les humains, et même de découvrir que la méthode résout en réalité une conjecture plus forte, celle de Phelps-Rodriguez. Tao souligne qu'une découverte mathématique complète va bien au-delà de la simple obtention d'une preuve vérifiée. Elle nécessite également la compréhension par les pairs, la publication, l'intégration au corpus existant et la reformulation en connaissances standardisées. L'IA excelle actuellement dans la génération et la vérification initiale, mais les étapes suivantes, cruciales, reposent sur l'intuition et le jugement des mathématiciens. Il plaide ainsi pour une revalorisation du travail de **digestion et d'explication** des preuves, par rapport à la seule course à la priorité de découverte. Pour structurer cette nouvelle ère, Tao a lancé **Palomar**, un registre public destiné à archiver les preuves assistées par l'IA (avec leur code de vérification), servant de plateforme intermédiaire de collaboration avant la publication formelle. L'objectif est d'encourager la production de résultats complets et compréhensibles, seuls véritablement utiles à l'avancement des mathématiques.

Tim Cook met le paquet avant son départ : Apple dévoile les puces M6 (première en 2 nm) et M5 Ultra (4 dies), boostant massivement les performances IA. Le Mac mini (à partir de 6999 RMB) et le Mac Studio (à partir de 19999 RMB) intègrent ces nouvelles puces, visant les flux de travail avec agents IA locaux. Le M6 offre jusqu'à 4 fois plus de puissance IA, tandis que le M5 Ultra peut monter à 512 Go de mémoire unifiée, transformant le Mac Studio en une station de travail IA puissante, voire en "salle serveur" de bureau. La forte demande en mémoire pour l'IA locale cause des délais de livraison jusqu'à fin octobre pour les modèles 512 Go et une hausse significative des prix. Ces lancements marquent la fin de l'ère Cook, axée sur une poussée agressive dans l'informatique IA.