Catégorie : Actus Automatisées
Auto Feed RSS
La Poste Mobile a 15 ans et offre 85 Go de plus sur son forfait phare, sans toucher au prix
À l’occasion de ses 15 ans, La Poste Mobile propose un forfait 215 Go en 5G à 10,99 euros par mois. Carte SIM offerte, sans engagement, mais une offre limitée dans le temps.
Linux 7.1-rc1 sort avec un nouveau pilote NTFS deux fois plus rapide
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.
The next phase of the Microsoft OpenAI partnership
OpenAI and Microsoft announce an amended agreement that simplifies the partnership, adds long-term clarity, and supports continued AI innovation at scale.
Last Flop
Les temps sont durs pour les shooters multijoueurs en ligne. On parle souvent des regrettés (?) Concord et Highguard, mais même un Marathon et son succès respectable a encore fort à faire pour rentabiliser son budget véner de 200 millions de dollars. Non, je pense que ce qu’il nous faut, c’est un titre porté par un ambassadeur populaire. Genre, une rockstar qui ferait de la pub gratuitement sur son compte Instagram à plus de 10 millions de followers, histoire de créer de la traction. Évidemment, il faudrait que le jeu soit amusant, sans microtransactions, avec un tarif pas trop élevé, genre 12 euros. Comment ? C’est exactement ce qu’a fait Last Flag ? Un jeu de capture the flag dont le développement est financé par le chanteur et le producteur d’Imagine Dragons ? Ok ! Super ! Et alors ? Combien de joueurs au lancement ? 558 ? Ah. Et ça monte ? Non ? Bon. Ben, je suis à court d’idées. K.
Un amateur résout un problème d’Erdős vieux de 60 ans avec un seul prompt GPT-5.4
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.
Ce TV QLED Mini LED de 65″ en promo à -200 € est d’une fluidité exemplaire (240 Hz) pour le gaming et les rencontres sportives
Le téléviseur connecté Hisense Mini LED 65U79Q est un modèle d’une grande fluidité, jusqu’à 240 Hz, avec rétroéclairage local pour une image précise, à retrouver pour 599,99 euros au lieu de 799,99 euros.