@maxgubi@mathstodon.xyz Mathematician.

Oxford
Joined June 2019
While we wait for the OpenAI slop storm, here is some open-source Yang-Mills slop! github.com/ethanwsussman/Yan… Ethan Sussman and @__alpoge__ are completing/clarifying Balaban's existence program for 4d Yang-Mills. For now they have Levent-style slop. The goal is to get a readable PDF and I'm told everyone is welcome to participate. The repo is public.
6
6
4
77
19,959
mgubi retweeted
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math
1,903
6,305
4,768
40,704
22,725,461
Many mathematicians are rather childlike, unworldly in some sense, but Grothendieck more than most. He just seemed like an innocent—not very sophisticated, no pretense, no sham. He thought very clearly and explained things very patiently, without any sense of superiority. He wasn’t contaminated by civilization or power or one-up-manship. -- John Tate
11
82
4
548
36,277
mgubi retweeted
(Quello che mi piace dei libri di matematica sovietici è la fiducia nel lettore e nella lettrice)
7
8
2
87
4,631
Replying to @scottnarmstrong
Well... AI seems to have the upper hand there too
1
2
6
561
Long time ago my son created this artistic impression of a mathematician at work (me, in this case).
1
1
3
60
Mathematics is no more about theorems than architecture is about concrete or other building materials
43
We're publishing our most detailed threat intelligence report to date. It covers how people tried to misuse Claude—for cyberattacks, influence operations, surveillance, biology, and building weapons—and how we found and stopped them. We disrupted every operation in the report, and used the lessons from them to strengthen our safeguards. Where appropriate, we also shared what we found with authorities and other AI companies. These cases are not typical: we’re highlighting some of the most sophisticated misuse we’ve seen. But they’re especially important to discuss, because they show us where AI misuse is headed, where our safeguards work, and where they need to improve. We’re publishing this report so others can spot the same activity on their own platforms, and so we can give the public a clearer view of how emerging threats develop. Read the report: anthropic.com/threat-intelli…
3,213
11,672
4,937
50,332
43,870,180
This is transparent writing from Yoshua Bengio, Turing award winning computer scientist using (in the spirit of Friedman) "as if" reasoning to analyze the incentives the current training paradigm is creating for agents, the risks that we are running, and the need for a new paradigm. Beautifully crafted. This is urgent and true. We need to stop and rethink. yoshuabengio.org/en/publicat…
3
34
1
131
9,026
Le Lecteur Human Study #7, Interlude animation. Three performative robotique installations, including one premiered Aires Numerique , Avignon Festival, Le Grenier a Sel 11/07 -- 19/07 #FestivalAvignon #Festivaloff #Avignon
4
23
534
Guerriglia matematica #3 I polinomi di Čebyšëv tramite le rotazioni del piano di Wessel-Argand-Gauss
5
3
70
3,547
I wrore three articles to explain the typesetting mechanics of TeXmacs, from low level font and glyph selection, to the transition between document and boxes and typesetting primitives. @gnu_texmacs texmacs.github.io/notes/docs… texmacs.github.io/notes/docs… texmacs.github.io/notes/docs…
1
2
1
3
539
Qualche tempo fa ho scritto un piccolo libro. Una storia in forma di monologo. Ora è disponibile su lulu.com. #marella (btw, è stato impaginato con @gnu_texmacs) lulu.com/shop/massimiliano-g…
2
2
256
I've just posted a detailed account of the inner workings of @gnu_texmacs font handling, aimed at developers and advanced users. texmacs.github.io/notes/docs…
3
6
1,439
A PhD position in my group in Oxford to work at the interface of stochastic analysis and Euclidean quantum field theory. Deadline Jan 6th 2025. Applicants with strong background in mathematical physics or stochastic analysis are welcome! #mathphys #qft maths.ox.ac.uk/node/70098
2
3
439
We have just launched the new Lean reference manual, our core documentation intended as a comprehensive, precise description of Lean! #leanlang #leanprover Check out the manual: lean-lang.org/doc/reference/… Read more about the release: lean-lang.org/blog/2024-12-1…
26
107
5,797