Tags populaires：
Virtualisation sécurité DNS vérification formelle analyse d'atteignabilité erreurs du compilateur conflit de macro extension web framework de développement Graphiques bitmap incohérences d'API Tous les tags

Le nombre Busy Beaver BB(6) dépasse toutes les attentes

2025-06-29
Le nombre Busy Beaver BB(6) dépasse toutes les attentes

De récentes avancées en BusyBeaverologie ont considérablement augmenté la borne inférieure de BB(6), le 6ème nombre Busy Beaver. Initialement estimé supérieur à un nombre avec 15 niveaux d'exposants de 10, on sait maintenant qu'il est bien plus grand, dépassant même 2^^^^9 (2 tétraé à 2 tétraé à 2 tétraé à 9). Ce saut étonnant suggère que BB(n) pourrait devenir indépendant des axiomes ZFC de la théorie des ensembles beaucoup plus tôt qu'on ne le pensait auparavant, ce qui conduit à une réévaluation de la croissance de la fonction et pose de nouveaux défis à la théorie de la computation.

Lire plus
(scottaaronson.blog)
Divers

L'aventure de Scott Aaronson à LessOnline

2025-06-19
L'aventure de Scott Aaronson à LessOnline

Le physicien quantique renommé Scott Aaronson a assisté à la conférence rationaliste LessOnline et a partagé son point de vue unique sur l'expérience. L'article décrit l'atmosphère vibrante de discussion et les conversations approfondies d'Aaronson avec d'autres rationalistes sur l'IA, le libre arbitre et plus encore. Il a finalement embrassé l'identité de « rationaliste », expliquant les raisons de ce changement, notamment une réévaluation de la vitesse de développement de l'IA et les changements au sein de la communauté rationaliste elle-même.

Lire plus
(scottaaronson.blog)
Divers rationalisme

Simuler des rendez-vous avec GPT-4 : une nouvelle approche pour traiter l’anxiété liée aux rencontres ?

2025-04-24
Simuler des rendez-vous avec GPT-4 : une nouvelle approche pour traiter l’anxiété liée aux rencontres ?

Un blogueur raconte des années à recevoir des e-mails de jeunes hommes aux prises avec l’anxiété liée aux rencontres. Il expérimente GPT-4 pour simuler un rendez-vous, créant un personnage féminin virtuel pour interagir avec un personnage masculin souffrant d’une anxiété sévère liée aux rencontres. Bien que GPT-4 facilite une conversation fluide, ses réponses excessivement positives et accommodantes manquent de réalisme, ne simulant pas efficacement les nuances et les réactions d’un rendez-vous réel. Le blogueur suggère qu’avec un ajustement fin et un apprentissage par renforcement, les futurs grands modèles linguistiques pourraient créer des simulateurs de rendez-vous efficaces pour aider à surmonter l’anxiété liée aux rencontres.

Lire plus
(scottaaronson.blog)
IA Applications de l’IA Anxiété liée aux rencontres

Microsoft affirme avoir créé le premier qubit topologique : percée ou battage médiatique ?

2025-02-20
Microsoft affirme avoir créé le premier qubit topologique : percée ou battage médiatique ?

Microsoft a annoncé la création du premier qubit topologique, suscitant un vif intérêt dans le monde de la technologie. Les qubits topologiques, basés sur des anyons non abéliens, sont théoriquement plus résistants aux erreurs que les qubits traditionnels. Bien que Microsoft ait retiré une affirmation similaire en 2018, elle affirme maintenant avoir créé un qubit topologique entièrement fonctionnel. Bien que non encore utile en pratique, cela marque une étape importante dans l'informatique quantique topologique, le succès futur de cette approche par rapport aux qubits traditionnels restant incertain.

Lire plus
(scottaaronson.blog)
Technologie

Gel des financements de la NSF américaine : la science au bord du gouffre

2025-01-31
Gel des financements de la NSF américaine : la science au bord du gouffre

Un gel des financements de la National Science Foundation (NSF) américaine a plongé la communauté scientifique dans le chaos. Malgré la prétendue levée du gel par Trump, le chaos persiste, laissant les directeurs de programme paralysés et incertains. Un gel prolongé pourrait priver de bourses des dizaines de milliers d'étudiants et de post-doctorants, paralysant la recherche scientifique fondamentale et entraînant potentiellement une fuite des cerveaux vers des pays comme la Chine. Un gel indéfini des embauches affaiblit encore davantage la NSF et les organismes similaires. L'auteur exhorte les initiés à partager des informations et exprime de vives préoccupations quant à l'avenir de la science américaine.

Lire plus
(scottaaronson.blog)
Technologie financement NSF gel des financements science américaine