Auto Feed RSS
La première release candidate de Linux 7.1 est sortie, avec un tout nouveau pilote NTFS écrit pour le noyau, qui annonce des écritures multi-thread deux fois plus rapides et un montage de disque jusqu’à quatre fois plus véloce que l’ancien.
La sortie stable est prévue pour la mi-juin selon le calendrier de Linus Torvalds. Au total, la fenêtre de merge a vu passer plus de 13 000 commits, ce qui en fait une release plutôt costaude.
Liam Price, 23 ans, mathématicien amateur sans formation avancée, a résolu un problème d’Erdős resté ouvert depuis 60 ans en posant la question à GPT-5.4 Pro un lundi après-midi en avril.
Le modèle a tourné 80 minutes pour produire une preuve qui passe la validation du médaillé Fields Terence Tao. C’est ce que rapporte Joseph Howlett dans Scientific American.
Le problème en question, c’est l’Erdős #1196, posé par le mathématicien hongrois en 1965. L’IA n’a pas tout cassé en force brute. Elle a utilisé la fonction de von Mangoldt, un outil bien connu en théorie des nombres, mais que personne n’avait pensé à appliquer à ce type de question depuis 90 ans.
DeepSeek a publié la preview de V4, sa nouvelle famille de modèles ajustée pour tourner sur les puces Ascend de Huawei. C’est un peu la première vraie démonstration que l’écosystème chinois peut faire fonctionner un grand modèle d’IA compétitif sans dépendre de Nvidia.
Pour rappel, DeepSeek avait déjà fait du bruit avec V3 fin 2024, en publiant un modèle compétitif à une fraction du coût d’entraînement des concurrents américains.
La gamme se décline en deux versions, V4-Pro et V4-Flash, avec une fenêtre de contexte qui passe de 128 000 tokens à un million. Sur du contexte d’un million de tokens, V4-Pro consomme seulement 27% de la puissance de calcul de la précédente V3.2 et 10% de la mémoire.