J

DevSecOps, cybersecurity stuffs & pentesting, road to OSCP 🤝

[Supersocks @iamsupersocks]

OpenAI annonce avoir résolu Navier–Stokes avec environ 10 000 agents en 88 heures. Un problème mathématique ouvert depuis près de 90 ans. Ce qui me paraît fou, c’est le résultat annoncé, mais aussi ce que @polynoamial dit de son coût.

Pour comprendre, Navier–Stokes décrit comment les fluides se déplacent. Ces équations servent à étudier l’air autour d’un avion, la météo ou le sang dans nos artères. Elles fonctionnent suffisamment bien pour être utilisées tous les jours, alors qu’une question fondamentale restait sans réponse : un mouvement initialement régulier peut-il devenir singulier en un temps fini

OpenAI affirme avoir montré qu’un fluide mis en mouvement peut former un tourbillon qui se resserre jusqu’à atteindre une vitesse infinie dans les équations : c’est le modèle mathématique qui atteint sa limite, pas l’eau réelle qui devient infiniment rapide.

On utilise des formules pour prévoir comment l’eau ou l’air se déplacent, par exemple autour d’un avion.

Depuis des décennies, une question reste ouverte : ces formules peuvent-elles finir par donner un résultat impossible, même quand tout commence normalement ?

OpenAI affirme avoir trouvé un tel cas : les formules prédisent un tourbillon qui accélère jusqu’à une vitesse infinie. L’eau réelle ne fait pas ça : cela montre une limite de notre façon de la décrire.

Trouver et prouver cette limite, c’est ce qui rendrait cette avancée historique.

Cette avancée arrive avec un nouveau modèle interne, plus capable qu’Astra selon OpenAI, et une recherche répartie entre des milliers d’agents explorant différentes pistes. Les chercheurs ont réorienté les ressources et fait circuler les résultats intermédiaires. Aux 88 heures de recherche se sont ajoutées 17 heures de formalisation et de vérification.

Un papier de 165 pages et une formalisation en Lean sont publics. Lean permet à un logiciel de contrôler les déductions mathématiques. Il reste à examiner la démonstration, ses hypothèses et sa correspondance avec le problème annoncé, mais les éléments nécessaires à cette vérification sont désormais accessibles. (https://t.co/LSpuhROjWI)

Selon Noam Brown, cette recherche a coûté plusieurs millions de dollars, mais ce genre de capacité pourrait devenir beaucoup moins cher. Il donne un exemple : sur un test de raisonnement, une ancienne IA (o3) nécessitait environ 500 000 dollars de calcul. Une plus récente ferait aujourd’hui mieux pour environ 20 dollars.

Cette comparaison concerne un benchmark précis. Elle ne permet pas de calculer le futur prix d’une découverte sur Navier–Stokes. Mais elle explique son raisonnement : mobiliser énormément de calcul pendant la résolution peut révéler des capacités que les progrès suivants rendront bien moins coûteuses.

Brown prédit que, dans un an, chacun disposera d’une IA capable de résoudre des problèmes de ce calibre. C’est sa prévision. Si elle se concrétise, des chercheurs qui n’ont pas les moyens de mobiliser 10 000 agents pourraient accéder à une puissance de recherche aujourd’hui réservée à quelques laboratoires.

Les travaux humains qui ont rendu cette avancée possible restent essentiels, et les questions de crédit autour de Buckmaster et Alpöge doivent être éclaircies. Il faudra aussi mesurer ce que cette méthode permet de reproduire sur d’autres problèmes, avec quel accompagnement humain et quel coût de vérification.

Une singularité mathématique ne signifie pas que l’eau réelle peut atteindre une vitesse infinie, ni que la météo devient parfaitement prévisible. L’enjeu immédiat est de comprendre une limite fondamentale de nos équations. La perspective qui m’enthousiasme, c’est que les moyens de produire ce type de découverte puissent devenir accessibles à beaucoup plus de chercheurs.

[Léa | Bourse & Stratégies @LeaBourseFR]

🚨 OpenAI annonce la résolution de Navier-Stokes.

Si c'est vrai, c'est le résultat mathématique le plus IMPORTANT de la décennie.

Beaucoup le décrivent comme le "graal" pour accélérer la révolution technologique.

Concrètement : les équations de Navier-Stokes décrivent le mouvement des fluides.

→ De l'eau qui sort d'un robinet aux turbulences des avions, aux prévisions météo, à la modélisation du climat...

Cette avancée pourrait RÉVOLUTIONNER la physique computationnelle.

Et permettre énormément des grandes avancées :
- dans les semi-conducteurs
- les réacteurs de fusion
- l'aéronautique
- des dizaines d'autres domaines.

À noter : Tristan Buckmaster (mathématicien à NYU) travaillait depuis un an sur ce problème avec son co-auteur... qui travaille chez Anthropic. 👀

Il utilisait Codex, le modèle d'OpenAI.

Il affirme qu'OpenAI aurait utilisé ses prompts privés pour entraîner son modèle interne... puis l'aurait appelé pour lui proposer la co-paternité du résultat, à condition qu'il retire son co-auteur d'Anthropic.

[flux @0xfluxsec]

If you are interested in Red Teaming, Offensive Engineering, Defensive Engineering, and/or Windows Internals, here is my list of people who are worth knowing the work of / following who produce sick blogs / github projects / community teaching:

@5mukx
@jamieantisocial
@xacone_
@Octoberfest73
@0xTriboulet
@33y0re
@vxunderground
@_RastaMouse
@eversinc33
@Steph3nSims
@Flangvik
@cyb3rops
@sixtyvividtails
@JonnyJohnson_
@LeighGi66657535
@C5pider
@NinjaParanoid

[J @JZucck]

@JLMelenchon NTM vieux décérébré qui ne sera jamais élu

[J @JZucck]

@LCP @CaronAymericoff Ce fils de p*te fanatique antisémite fatigue

[J @JZucck]

@epenser @TroncheBiais Peut-être mais il ne faut pas être trop naïf, il ne choisit pas ses mots au hasard.

[J @JZucck]

@TroncheBiais @epenser Compte tenu des origines de Bruce, on va dire que le "de votre espèce" n'est pas antisémite, n'est-ce pas ?

[J @JZucck]

@RimaHas Je bois ton seum

[J @JZucck]

@RimaHas Va niquer tes morts, cheh

https://t.co/BHQ8AcwBjc

[J @JZucck]

@Portes_Thomas En résumé, une belle brochette de c*nnards décérébrés

[J @JZucck]

@dr_wonder589 @RealCryptoCoach @pearl_rhoades_6 @SocialObserverx @Happy_feet808 @CryptoLandGame I confirm that he is a scammer. The CRYPTOLAND project was initially based on the Stellar blockchain (XLM). Many people trusted him and invested in his fake project. This son of a bitch changed the tokens without informing anyone and then moved to XRPL. He is used to it.

[J @JZucck]

@ndila80 @MichelCollon Sur Twitter on respecte la liberté d'expression, ça permet aux trous du cul de s'exprimer et d'avoir même une audience

[J @JZucck]

@MichelCollon Même ma brosse à récurer les chiottes a plus de valeur que toi vieux sénile communiste

[J @JZucck]

@Portes_Thomas Oh purée, tu postes ça alors que tu ne le laisses même pas te répondre...Ton cerveau est décidément fini à la pisse, et en même temps, c'est une bénédiction pour nous d'avoir en face de nous des gens si cons

[J @JZucck]

@sebastiendelogu On te pisse dessus avec joie

[J @JZucck]

@JLMelenchon Ta gueule vieux sénile

[J @JZucck]

@CaronAymericoff On devrait imprimer ta tête de gland pour en faire un logo de marque de PQ, le nombre de ventes serait incroyable

[J @JZucck]

@IsabelleSvi @CaronAymericoff Par contre il n'y a pas de problème moral quand Caron ferme sa gueule alors que des juifs se font assassiner par ses potes islamistes ? Même ma brosse à récurer les chiottes mérite davantage de considération qu'un député comme lui

[J @JZucck]

@CaronAymericoff On s'en branle complet de ce que tu penses, l'important c'est qu'on gagne contre nos ennemis, alors mazal tov
! Je bois le seum des golmons de chez LFI

[Jérémy Benhaïm @JeremBenhaim]

Regardez la taille de cet énorme trou créé par les bombes anti-bunker qui ont pénétré le sol ainsi que le bunker en béton dans lequel Hassan Nasrallah et d'autres terroristes se cachaient lorsqu'ils ont été éliminés par #Israël.

La vidéo de droite explique très bien comment un tel impact a été rendu possible.

Pour éliminer le chef du #Hezbollah, l’armée israélienne a utilisé 85 bombes américaines BLU-109 (dites bunker buster bombs) pesant chacune environ une tonne, d’où la taille énorme du cratère.

Impressionnant.