Owain Evans continue de publier ces articles et ils sont époustouflants. Quoi !?

les nouvelles de l'IMO d'OpenAI m'ont vraiment frappé ce week-end je suis encore dans la phase aiguë de l'impact, je pense je me considère comme un mathématicien professionnel (une caractérisation avec laquelle certains mathématiciens professionnels pourraient avoir des problèmes, mais ma fête, mes règles) et je ne pense pas pouvoir répondre à une seule question de l'IMO ok, oui, l'IMO est sa propre petite sous-section athlétique des mathématiques pour laquelle je ne me suis pas entraîné, etc. etc., mais. si je rencontre quelqu'un dans la nature qui a un or de l'IMO, je mets immédiatement à jour à "cette personne est bien meilleure en mathématiques que moi" maintenant, un tas de robots peuvent le faire. en tant que personne qui a beaucoup de son identité et de sa vie réelle construite autour de "est bon en mathématiques", c'est un coup au cœur. c'est une sorte de mort. comme, un jour, tu découvres que tu peux parler aux chiens. c'est amusant et intéressant, donc tu le fais plus, apprenant les subtilités de leur langue et leurs coutumes les plus profondes. tu apprends que d'autres personnes sont surprises par ce que tu peux faire. tu n'as jamais vraiment trouvé ta place, mais tu apprends que les gens apprécient ta capacité et veulent que tu sois là pour les aider. les chiens t'apprécient aussi, le seul bipède qui comprend vraiment. tu te construis une sorte d'appartenance. puis un jour, tu te réveilles et le traducteur universel de chiens est en vente chez Walmart pour 4,99 $ le résultat de l'IMO n'est pas vraiment une nouvelle, en fait. si tu regardes le graphique de la durée des tâches des agents METR au fil du temps, je pense que le fait que les agents puissent résoudre des problèmes d'environ 1,5 heure arrive juste à temps. donc d'une certaine manière, nous ne devrions pas être surpris. et en effet, il semble que plusieurs entreprises aient atteint le même résultat. c'est juste... la marée montante qui monte aussi vite qu'elle a monté bien sûr, le chagrin pour mon identité personnelle en tant que mathématicien (et/ou membre productif de la société) est la plus petite partie de cette histoire multipliez ce chagrin par *chaque* mathématicien, par chaque codeur, peut-être chaque travailleur du savoir, chaque artiste... au cours des prochaines années... c'est une histoire légèrement plus grande et bien sûr, au-delà de cela, il y a la peur de la mort réelle, sur laquelle je vais peut-être revenir plus tard. ce paquet -- chagrin pour la pertinence, chagrin pour la vie, chagrin pour ce que j'ai connu -- n'est pas unique à l'ère de l'IA ou quoi que ce soit de ce genre. je pense que c'est une chose standard à mesure qu'on approche de la fin de carrière ou de la fin de vie. il se pourrait juste que cela arrive un peu plus tôt pour beaucoup d'entre nous, tous en même temps. je me demande si nous sommes prêts.

Il y a un soutien bipartisan pour mon projet de loi visant à abroger la hausse d'impôt du GOP sur les pertes de jeu qui pourrait nuire non seulement au Nevada, mais à l'industrie du jeu à travers le pays. J'ai parlé avec @DougPolkVids du chemin à suivre, et pourquoi je suis convaincu que nous pouvons y parvenir :

Au fait, en passant, nous n'avons pas annoncé vendredi car nous avons respecté la demande initiale du Conseil de l'IMO selon laquelle tous les laboratoires d'IA devaient partager leurs résultats uniquement après que les résultats officiels aient été vérifiés par des experts indépendants et que les étudiants aient justement reçu l'acclamation qu'ils méritaient.

1/ Il existe une catégorie de personnes qui ont entrepris un parcours mental ardu pour se familiariser avec l'idée du post-humanisme, des téléchargements et d'une extinction progressive des humains biologiques.

Si vous n'avez pas regardé Tezos récemment… 👀 C'est le moment. L'élan de l'écosystème s'intensifie. Voici une mise à jour rapide sur ce qui se passe sur la chaîne et dans la vie réelle 🔥🧵

Une analyse nuancée et correcte dans ce fil. Ce qui suit est en fait une limite inférieure, attendez-vous à des progrès significatifs dans l'exploration bientôt.

🚨 Selon un ami, l'IMO a demandé aux entreprises d'IA de ne pas voler la vedette aux enfants et d'attendre une semaine après la cérémonie de clôture pour annoncer les résultats. OpenAI a annoncé les résultats AVANT la cérémonie de clôture. Selon un Coordinateur sur le Problème 6, le seul problème qu'OpenAI n'a pas pu résoudre, "le sentiment général du Jury et des Coordinateurs de l'IMO est qu'il était impoli et inapproprié" pour OpenAI de faire cela. OpenAI n'était pas l'une des entreprises d'IA qui ont coopéré avec l'IMO pour tester leurs modèles, donc contrairement aux résultats probablement à venir de Google DeepMind, nous ne pouvons même pas être sûrs que la "médaille d'or" d'OpenAI est légitime. Pourtant, les organisateurs de l'IMO ont directement demandé à OpenAI de ne pas annoncer leurs résultats immédiatement après l'olympiade. Malheureusement, OpenAI désire beaucoup plus le battage médiatique et le prestige que de laisser ces enfants incroyablement intelligents célébrer leur réussite, et ils ont donc annoncé les résultats hier.

À mon avis, l'or est super impressionnant. Je veux juste enregistrer une prédiction, j'ai 80 % de confiance que le coût de l'exécution de l'inférence dépasse 1 million de dollars en calcul. Principalement parce que s'ils pouvaient le faire pour 1 million de dollars, ils le feraient, et ils seraient capables de le faire pour 1 million de dollars avant de pouvoir le faire pour moins.

De quoi parle @tezos ? Nous avons interviewé @ArthurB, le créateur de tezos, pour le découvrir👇