Menu

Aucun menu défini dans le customizer.

OpenAI et Anthropic disent que leurs IA ont réfuté une conjecture clé de l’informatique théorique

OpenAI (26 octobre) et Anthropic (27 octobre) affirment que leurs modèles ont trouvé, le même 16 octobre, un algorithme sous-exponentiel pour 3-SAT, ce qui réfuterait l’hypothèse du temps exponentiel posée en 1999 par Impagliazzo et Paturi. Les preuves sont formalisées en Lean ; celle d’Anthropic n’avait été vérifiée par aucun humain à sa publication. Impagliazzo, Paturi et Williams organisent un examen ouvert, sans valeur de certification. L’algorithme ne bat la force brute qu’au-delà de 10^10000 variables : aucun effet pratique, et OpenAI se dit raisonnablement confiante qu’aucun système de chiffrement n’est cassé. OpenAI revendique aussi Kakeya et l’existence de Yang-Mills.

OpenAI renonce à rogner son forfait Pro à 200 dollars la veille de la baisse

OpenAI a renoncé le 29 octobre à réduire de moitié les quotas Codex et Work du Pro 200, la veille de l’entrée en vigueur, et doublé ceux des Pro 100 et 500. Quatre remises à zéro en août et septembre, un retrait éclair de Claude Code du forfait Pro chez Anthropic en avril, des limites doublées en mai : les prix ne bougent pas, les quotas oui. Le S-1 d’Anthropic montre pourquoi : les abonnements pèsent 20 % du chiffre d’affaires, Claude Code tire la dépense des entreprises, et le calcul manque. Les volumes doivent être écrits dans un contrat.

Boulanger retire 340 € sur ce pack Xiaomi complet avec smartphone 17T Pro, écouteurs Redmi Buds 8 et bracelet Smart Band 11 Active

Pour fêter le début du Black Friday, Boulanger propose un pack Xiaomi complet où on retrouve trois produits de la marque : le smartphone 17T Pro, les écouteurs Redmi Buds 8 et le Smart Band 11 Active pour 749 euros au lieu de 1 089 euros.