fccann

mathematician

[Jared Duker Lichtman @jdlichtman]

To be clear, the OpenAI result is far from the "most important day in the history of mathematics" or similarly hyperbolic statements.

However, it is concrete evidence that the rate of progress is steep, and we may not be so far away from such a day.

[David Pfau @pfau]

Pure math is rare among STEM fields in how little it had been affected by computational advances until now. It's a field that prides itself on still being practiced the same way as Euclid. It's the department that kept chalkboards when everyone else switched to whiteboards.

[John Ennis @johnennis]

This is so incredibly exciting

The job of mathematician is going to change a lot, but the idea that AI is going to make human mathematicians irrelevant is just not correct

Each one of these solutions is going to open up a large number of new problems, plus, of course somebody needs to understand what these proofs actually imply

We are entering a golden age of mathematics

[fccann @fccann]

dix avancées significatives en mathématiques et en informatique théorique.

résolues à l'aide d'une version interne d'Astra, le prochain modèle majeur

[Sebastien Bubeck @SebastienBubeck]

yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.

We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.

More thoughts here: https://t.co/8SjXONeh38

[Noam Brown @polynoamial]

An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.

We believe it will be a major step for scientific reasoning. https://t.co/iP6cyheZ7i

[levent @__alpoge__]

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final

((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)

[Farhan @farhan17_09]

Thomas Simonet de La Sorbonne, j’ai ton pc !!! Trouver dans le train (RER D) avec le sac à dos. RETWEET SVP

[fccann @fccann]

Si toutes les bombes nucléaire explosaient en même temps ?

[fccann @fccann]

@Jonathan91s @Adam_prepa Non même avec la puissance de calcul d’un supercalculateur on peut pas, à moins d’avoir un ordinateur quantique qui lui pourrait le faire en qql seconde.

[Taedium @Gold_Digger_01]

Les citoyens turcs transportent de l'eau jusqu'à la zone d'incendie en aide aux pompiers et policiers.

[Beyond Tomorrow @OrgPhysics]

Blood Moon 🌕

[fccann @fccann]

La distance entre la Terre et les autres corps cosmiques de notre système solaire

[fccann @fccann]

J’avoue elle est pas mal

[SpaceScience🌟 @SpaceScience_]

Décollage d’une fusée vu depuis l’ISS. Le progrès scientifique en une vidéo 🤯🤯

[Latest in space @latestinspace]

The cosmic heart nebula 🖤

via @JP_Metsavainio

[fccann @fccann]

▪️Margaret Hamilton, debout à côté des piles de codes écrit à la main, qui ont été utilisés pour conduire l'humanité jusqu'à la Lune.

▪️Katie Bouman, à côté des cinq pétaoctets (5 242880 gigaoctets) de données nécessaires pour traiter la première image d'un trou noir.

[Vezir Khan @KhanVezir]

Les soldats israélien tuent un enfant juste pour leur plaisir

Pour montrer le vrai visage d'Israël assassin d'enfants au monde, traduisez cette vidéo dans toutes les langues et partagez au max

Cet extrait est issu du documentaire disponible avec ce lien
https://t.co/rBvW33rEbM

[fccann @fccann]

les photos de la planète Terre par Thomas Pesquet depuis la station spatiale internationale