Skip to news
JQJO
Latest

JQJO — Dernières actualités · Page 105

L'IA pour la recherche en mathématiques est arrivée

Tap title to read story

OpenAI a publié 722 articles de recherche en mathématiques générés entièrement par un modèle interne d'intelligence artificielle non publié, abordant des problèmes complexes historiquement non résolus dans les domaines des mathématiques et de l'informatique. Regroupés en 372 familles distinctes de résultats, ces découvertes comprennent des affirmations mathématiques de haut niveau touchant à l'hypothèse quasi-Riemann, la conjecture des jeux uniques et les limites de la multiplication matricielle. De nombreuses preuves générées comportent des formalisations vérifiées par Lean, un prouveur de théorèmes informatiques interactif conçu pour vérifier les étapes logiques. Bien que cette publication marque une avancée majeure dans la découverte scientifique automatisée et les capacités de raisonnement complexe, les observateurs notent que les articles n'ont pas fait l'objet d'un examen par les pairs humain traditionnel. Les chercheurs soulignent que si les outils automatisés peuvent explorer de vastes trajectoires logiques efficacement, une supervision humaine reste nécessaire pour garantir une précision absolue et développer une intuition mathématique profonde. OpenAI a publié la recherche sur GitHub pour encourager une inspection généralisée, une vérification communautaire et une évaluation scientifique plus poussée dans les institutions académiques et techniques.

0:00 / 1:13

Le public américain perd son droit de parole sur la politique environnementale

Tap title to read story

Les agences et administrations fédérales contournent de plus en plus la participation du public et les périodes traditionnelles de notification et de commentaires dans la prise de décisions environnementales. Si les décideurs politiques présentent ces changements comme nécessaires pour réduire la bureaucratie pour les projets d'infrastructure et d'énergie, les critiques soutiennent que ce glissement prive les citoyens ordinaires et les communautés locales d'une surveillance essentielle. Les ajustements réglementaires permettent désormais aux projets à forte pollution d'utiliser des classifications accélérées et d'éviter les examens publics. Les administrations ont également de plus en plus invoqué des exemptions pour la sécurité nationale et des déclarations d'urgence pour contourner les statuts environnementaux. La recherche indique que la participation du public favorise la confiance et aide à signaler les dangers négligés, tels que les risques d'incendie de forêt près des sites industriels. Des efforts sont également en cours pour affaiblir les poursuites citoyennes qui tiennent les pollueurs responsables. Cette érosion de la contribution du public a suscité des critiques de la part des défenseurs de l'environnement et des universitaires en droit qui insistent sur la transparence. Sans les garanties traditionnelles, les parties prenantes locales disposent de voies limitées pour contester les projets potentiellement dangereux affectant leurs communautés.

0:00 / 1:15

Les entreprises de Cincinnati anticipent des millions grâce au retour de BLINK

Tap title to read story

0:00 / 0:47

Course au Sénat du Kansas met fin à une série républicaine de 94 ans

Tap title to read story

0:00 / 1:02

Chuck Lorre a un message pour Trump ce soir via une carte de vanité de ‘Georgie & Mandy’s First Marriage’

Tap title to read story

Le producteur de télévision Chuck Lorre a utilisé une récente carte de vanité après un épisode de Georgie et Mandys First Marriage pour partager un commentaire politique adressé à Donald Trump. Le bloc de texte de fin d'émission, une tradition créative de longue date pour Lorre dans des séries comme The Big Bang Theory, offrait des perspectives personnelles sur les développements politiques actuels. Alors que les chaînes de télévision diffusent ces brefs essais pendant le générique de fin, les textes complets et non édités sont régulièrement archivés sur le site officiel de Lorre pour le public. Ces commentaires soulignent l'intersection continue entre le divertissement télévisuel et le discours politique contemporain, attirant une attention notable de la part des analystes médiatiques et des téléspectateurs qui suivent les commentaires de l'industrie créative. Les observateurs surveillent fréquemment ces déclarations intermittentes comme des baromètres du sentiment d'Hollywood concernant la politique fédérale et le leadership politique. Les diffuseurs et les représentants des studios n'ont pas émis de déclarations formelles concernant le texte de production spécifique, maintenant la séparation standard de l'industrie entre les programmes des chaînes et les commentaires des créateurs individuels publiés pendant le générique de fin.

0:00 / 1:14

L'Arizona se rapproche de la désignation de son quatrième parc national

Tap title to read story

0:00 / 1:00

Rubio exhorte la Russie à révéler la mort d'une employée de laboratoire

Tap title to read story

0:00 / 1:07

Margaret Hamilton Pionnière Ingénierie Logicielle Héritage

Tap title to read story

0:00 / 0:53

Le Cabinet de la NCAA établit de nouvelles périodes de transfert pour les sports

Tap title to read story

0:00 / 0:54

L'évolution des habitudes alimentaires pousse PepsiCo à envisager des options

Tap title to read story

0:00 / 0:42

JQJO

Find your next story

Search JQJO’s current coverage.