Reprise du message précédent :

y a pas de changement pour les abo plus, tu as toujours les 5H

decisions API c'est la réponse à JEV
https://x.com/OpenAIDevs/status/2105003318917697873

C'était trop beau pour être vrai. Surtout que ca tourne sous Astra.
C'est clairement un outil orienté "boites de dev", chaque dot est un dev. D'ou la possibilité de payer pour avoir plus de dots par personne et d'avoir plus de "rapidité" par dot.

 
Mathématiquement, c'est faux: Lean est un logiciel, et comme tout logiciel il comporte des bugs. Certains ont d'ailleurs été trouvés par des IA. On peut aussi s'attendre qu'avec la multiplication des preuves IA ultra complexes dans Lean, on multiplie aussi la détection des bugs.
 
Sérieux, entre ça et ton apparente incompréhension de tout ce qu'impliquerait la preuve de l'hypothèse de Riemann, ça me fait penser que tu es plus proche d'un amateur que d'un pro (je parle des maths, pas du reste).

Sérieux, qu'est ce qui t'a fait penser que c'était un pro des maths? Ses copier-collers de chatgpt ?  

 
 
faut suivre:
 

 
 
ceci dit, il a raison pour l'exemple de zeta(5), prouvé par un trader

Z'ai une bonne news

 
 
Yang-Mills ?

En mettant un VPN j'ai accès à d'autres fonctions qu'on a pas ici, donc si on suit la logique, dots on pourrait accéder dès que c'est déployé plus tard dans la soirée, pour l'instant ils ont pas encore déployé, ça devrait pas tarder

https://openai.com/fr-FR/index/introducing-gpt-6-1-sol/

Mais d'après ce graph, de quoi vous vous plaignez ? Ca dit que GPT 6.1 ferait mieux que Opus 5.5 en coding, et pour moins cher !
 
C'est un graph qui sort de chez OpenAI ou de quelqu'un de supposé davantage "neutre" ?
 
Sur le devday, que pouvaient-ils réellement annoncer ? Un nouveau modèle qui casse la baraque ? Astra vient de sortir...

En plus du reset déjà lancé on va en avoir un autre

Je peux déjà le test      
 

Il vient d'arrive aussi !

Pour les Dots inaccessibles en UE, ils parlent bien du plan Pro. Je ne suis pas sûr pour les version Business. J'essaye demain au taf

Mis a part les bugs et le fait qu'il faut bien faire les définitions. Je fais simple pour mevo, c'est pour ça que c'est approximatif. Et je comprends très bien ce qu'implique la preuve de RH, ne t'inquietes pas non plus pour ça.

Mais s'il n'y a pas de bugs et que la formalisation lean passe, c'est finito.

Soyons sérieux.

Le live de ce soir resumé
 
https://x.com/AureaLibe/status/2105000214461600244

Claude fais un tableau récapitulatif

 
Ouais je vais attendre que les bugs et que le rush de tout le monde passe.

On dirait tout de même qu'ils ont été pris de court avec des modèles comme Opus 5.5, Jev, ou les agents type Muse/Grok bot. Je vais essayer 6.1 Sol, mais ça sent le rush.

Grok bot ca reste très niche.
Par contre pour Muse qui a fait la une de l'actu, ca a du précipiter la sortie de dot. Muse spark 1.3 est un bon petit modèle pas cher, parfait pour jouer l'agent pour tatie marianne qui veut faire mumuse avec un agent.
 

Bon là tout est en carafe, va falloir attendre demain

Raison de plus pour attendre un peu pour ne pas cramer betement mes précieux tokens

D'ailleurs à chaque fois qu'il y a une update, ça s'accompagne systématiquement d'un jour ou deux pour lesquels c'est lent et où ça crash, car tout le monde se précipite pour cramer leur quota dans des trucs qui ne servent à rien histoire d'avoir leur petite vidéo youtube "olala ce modèle est fou olala".

Business premium oui pas business tout court

J'ai la business premium justement

Ben c'est dedans  

Sans limitation pour l'UE ? (c'est surtout de cela qu'il s'agit, pas juste du fait que ce soit prévu dans l'abo en soi)
Parce que si ces abos ont dans l'UE, pourquoi pas les pros ?  

Je crois que c'est surtout une histoire de RGPD (NLPD pour la Suisse). Or, dans les plans business, y'a normalement pas de rétention des données pour entraîner de futurs modèles. Mon hypothèse est qu'ils peuvent donc lancer ces produits sans risquer une violation de la loi ?

On a reçu un bank reset ?
 

 
Ah yes   Merci d'avoir préviendu, j'avais cramé ma limite hebdo alors qu'il me restait 6 jours avant le prochain reset

Pas aujourd'hui je crois. J'ai vu hier (il me semble) que je suis passé de 3 à 4 bank resets.
 

 
Par contre, deux maj de l'appli Windows ce soir.

Ah ouais ça y est, je l'ai aussi  

Il va arriver, je l'ai reçu aussi.

A noter qu'ils ont aussi réouvert l'acces à l'abo à 200€

En Europe non pour l'instant sauf avec un vpn en attendant

Oui, ben je comprends que c'était ca la problématique de FlorentG. Avec son abo, va-t-il avoir accès ? Pas parce que c'est le bon abo (1), mais parce qu'il est en Europe (2). T'as répondu "oui", mais sur 1. Donc il semble que ca va être non, à cause de 2
(il aura la confirmation demain en essayant)

Oh putain

Il aura accès dans son abonnement
Mais pas tout de suite en Europe
Mais il pourra avec un vpn bypass

https://x.com/ArtificialAnlys/statu [...] 5332605357

 
Et Mistral c'est évalué a combien ?

Concernant la réduction du quota du forfait 200$ d'openAI, pour les "anciens abonnés" :
 

 
Un mois quoi. J'ai du mal à comprendre leur politique là dessus ; est ce qu'il n'est pas plus intéressant, pour un ancien abonné à 200$, de changer leur abonnement pour le 100$, et prendre un abo à 100$ chez claude code ?
 
Pour la même somme, tu as accès aux "nouveautés" - quand elles seront disponibles en Europe, pour le moment il n'y a pas la moindre annonce sur une date ou même un délai - de chatGPT vu qu'il n'y a pas de différence entre l'abo à 100 et celui à 200 niveau accessibilité, tu as autant de quota qu'avec 200 chez chatGPT vu que tu cumules x5 chez l'un et x5 chez l'autre, et cerise sur le gâteau tu as accès à deux gros modèles, Opus 5.5 et Astra / sol 6.1.
 
Du coup ça me paraît mieux de "couper la poire en deux" et filer 100$ à chacun que privilégier un seul fournisseur....
 
Ou de privilégier Claude Code, qui pour le moment propose toujours x20 sur son abo à 200$...
 
edit : j'ai dit des bêtises je suis fatiguée, j'ai corrigé