Alvaro Lozano-Robledo

92 posts

Alvaro Lozano-Robledo banner
Alvaro Lozano-Robledo

Alvaro Lozano-Robledo

@mathandcobb

Mathematics professor, author, Hagoromo chalk ambassador. Views expressed are my own.

Katılım Ocak 2026
61 Takip Edilen98 Takipçiler
Alvaro Lozano-Robledo
Alvaro Lozano-Robledo@mathandcobb·
:D Santiago Arango-Piñeros (UMass) Sarah Arpin (Virginia T) Juanita Duque-Rosero (BU) Amanda Folsom (Amherst C) Tyler Genao (Ohio State) Catherine Hsu (Swarthmore) Daniel Litt (U-Toronto) Jen Paulhus (Mount Holyoke) Ravi Ramakrishna (Cornell) Joseph Silverman (Brown)
0
0
1
135
Alvaro Lozano-Robledo
Alvaro Lozano-Robledo@mathandcobb·
The list of speakers for the conference is growing, and I am so excited to hear these talks! Join us! @littmath will be speaking! and Amanda Folsom (Amherst College) and Ravi Ramakrishna (Cornell University) and Joseph Silverman (Brown University) and more!!
Alvaro Lozano-Robledo@mathandcobb

**Please share widely!** Announcing CTNT 2026: the Connecticut Summer School in Number Theory, and Research Conference! June 1-7, at UConn. Applications (for the summer school and/or conference) are now open thru our website: ctnt-summer.math.uconn.edu

English
1
1
13
3.2K
Alvaro Lozano-Robledo
Alvaro Lozano-Robledo@mathandcobb·
This event is co-organized by Jennifer Balakrishnan (BU), Rebecca Bellovin (UConn), Keith Conrad (UConn), Alvaro Lozano-Robledo (UConn) and Christelle Vincent (UVM). Please apply and share particularly with students and early career researchers!
English
0
0
1
73
Alvaro Lozano-Robledo
Alvaro Lozano-Robledo@mathandcobb·
**Please share widely!** Announcing CTNT 2026: the Connecticut Summer School in Number Theory, and Research Conference! June 1-7, at UConn. Applications (for the summer school and/or conference) are now open thru our website: ctnt-summer.math.uconn.edu
English
1
2
7
3.4K
Alvaro Lozano-Robledo
Alvaro Lozano-Robledo@mathandcobb·
Is there any group attempting to formalize (in Lean or otherwise) the proof of the classification of finite simple groups? That would be truly epic and very useful to the community, as there are mathematicians that remained unconvinced the proof was in fact completed.
English
5
6
124
10.7K
Alvaro Lozano-Robledo retweetledi
Christopher D. Long 🇺🇦🏳️‍🌈🌹
Christopher D. Long 🇺🇦🏳️‍🌈🌹@octonion·
Has any work started on formalizing the classification of finite simple groups, or is that still a hopeless task at the moment? That would be truly amazing.
English
5
1
21
3.7K
Daniel Litt
Daniel Litt@littmath·
Person on the bus listing kinds of math to their seatmate: “there’s calculus, geometry, trigonometry, … what’s the other one? Does anyone on this bus know the other kind of math?” No idea what answer was being looked for.
English
144
15
5.4K
268.4K
Alvaro Lozano-Robledo
Alvaro Lozano-Robledo@mathandcobb·
A mathematician you may have never heard of (unless you are an arithmetic geometer like me) wrote some of the most influential papers of my own math career! This is an homage to Prof. Monsur Kenku, in honor of Black History Month. youtube.com/shorts/jRcVLIt…
YouTube video
YouTube
English
0
0
2
140
Alvaro Lozano-Robledo
Alvaro Lozano-Robledo@mathandcobb·
For the first time ever, I ran into a recipe that called to "fold the cheese in" 💔
GIF
English
1
0
1
85
Alvaro Lozano-Robledo
Alvaro Lozano-Robledo@mathandcobb·
I don't think it will be just a matter of the "AI community getting bored" but actual limitations of an LLM to come up with truly new ideas and proof strategies. I do think there is still a lot of mileage for LLM's to cleverly put together known methods to solve problems tho.
David Pfau@pfau

I'm quite certain there will still be unsolved Erdós problems in two years. The difficulty of these problems is almost certainly heavy-tailed, and the AI community gets bored and moves on from a benchmark when it's ~85% solved (see ImageNet, ARC-AGI-1)

English
1
0
1
1.1K

Keşfet

@littmath @subcountability @elias_judin @omarshehab @KenOno691 @AcerFur @elonmusk @BarackObama