Itsram

1.7K posts

Itsram banner
Itsram

Itsram

@itsram63

catastrophic calico cat!

Katılım Şubat 2021
1.3K Takip Edilen87 Takipçiler
Itsram
Itsram@itsram63·
@littmath @ludwigABAP Along with your unadulterated psychological submission that 2028 is going to be year of 40 layer matrix mul that converge to real values,it's never to question the finiteness of the topological structure that comes up with these finite field(start values)&operations (matrix mul)
English
1
0
1
320
ludwig
ludwig@ludwigABAP·
Everyone who is currently bombared by "solve math solve everything" "autoformalization -> AGI" psyops should read this and try to understand where this sentiment comes from
ludwig tweet media
English
17
8
313
85.6K
Itsram
Itsram@itsram63·
@littmath @ludwigABAP That's your subjective opinion for "justify" whatever... Simons foundation and funding to ihes or ias meant for real researchers will go to openai's overheating junk. U forgot that research funding is outcome independent most of the time.
English
1
0
1
417
Daniel Litt
Daniel Litt@littmath·
@itsram63 @ludwigABAP I think this might be a reading comprehension issue tbh. My point is not that it would make cuts justifiable, but than funders would use increased capabilities to justify cuts.
English
1
0
13
409
Itsram
Itsram@itsram63·
@littmath @ludwigABAP What u mean good enough? compile a bunch of already done work? Was that the source of schemes/galois theory/nash moser iteration..? Or was it the individual's ability to feel an enormity& intensity to pursue the true definition of that? Was th individual going token by token?
English
1
0
0
413
Daniel Litt
Daniel Litt@littmath·
@ludwigABAP To be honest I think there’s some chance this happens to research math as a whole, if we don’t adapt. It’s possible we end up with an equilibrium where the tools are worse than human mathematicians but good enough to “justify” massive cuts and loss of human capital.
English
11
16
306
13.2K
Itsram retweetledi
American Mathematical Society
The AMS would like to congratulate Gerd Faltings, who was awarded the Abel Prize 2026 by the Norwegian Academy of Science and Letters "for introducing powerful tools in arithmetic geometry and resolving long-standing diophantine conjectures of Mordell and Lang." Read more. Link in comments.
American Mathematical Society tweet media
English
2
21
102
2.6K
Itsram retweetledi
Tyler Jarvis
Tyler Jarvis@tj_jarvis·
Gerd Faltings, my PhD advisor, has been awarded the Abel prize—the equivalent of the Nobel prize in Mathematics.
Tyler Jarvis tweet media
English
5
4
245
8.2K
Itsram retweetledi
The Abel Prize
The Abel Prize@abel_prize·
We congratulate Gerd Faltings as the 2026 Abel Prize laureate! 🎉 He recives the Abel Prize "for introducing powerful tools in arithmetic geometry and resolving long-standing diophantine conjectures of Mordell and Lang".
The Abel Prize tweet media
English
9
253
768
77.2K
Itsram
Itsram@itsram63·
@regulargio That's rich coming from someone inside a hierarchy. U don't have answers that's why u pull up challenges such as parameter golf,& yet still u tell how important u all are in a perceived high Hall. No issues, no evariste galois will be made with the likes of hierarchy worshipers.
English
0
0
1
47
giovanni
giovanni@regulargio·
More people should lean into confusion and curiosity when observing things that shouldn't happen or encounter people who seem irrational, rather than dismissing them
English
2
1
4
266
Itsram
Itsram@itsram63·
@eulerianham 400mg black coffee 1500mcg b12 1 modafinil 100 water eye drops ear plugs
English
0
0
0
75
e
e@eulerianham·
life is bad when four shots of espresso isn't enough
English
2
0
6
180
e
e@eulerianham·
the file names lol
e tweet media
English
1
0
6
307
CathedralWhispers
CathedralWhispers@Shoggathic·
The master was asked whether a dog has Buddha-nature. The master replied, "Any concept of cohomology is effectively equivalent to a choice of the ambient (∞,1)-topos." Thus the disciple was enlightened.
English
5
24
256
7.6K
Itsram
Itsram@itsram63·
@eulerianham Knowing a man uniquely implies knowing him in the state of his reclusion. Meaning u must really be fond of coke.
English
0
0
0
45
Itsram
Itsram@itsram63·
@chmonke @johnald42 This is the mistake deligne made, he took pre topology and used etale morphisms to prove weil this angered g, ofc they are cool but toposes are the main story. That the category of sheaves that have finiteness props(girauds) on what u defined above is a more fundamental thing.
English
1
0
3
45
Dᵇ(Monkey) Alex Scheffelin
@johnald42 They’re cool they just take the notion of an open cover of a topological space being a bunch of maps U_i -> X where they’re jointly surjective, and makes that a notion for all objects. They satisfy stupid axioms like “stable under pullback, cover of covers is a cover”, etc
English
2
0
2
43
Acer
Acer@AcerFur·
@sheafnat I really don’t get why people suck up to Tao so much. Like there are some strikingly parasocial relationships from some people out there with Tao lol
English
9
0
44
1.9K
presentable (∞,1)-nat
presentable (∞,1)-nat@sheafnat·
AI bros once again not beating the *great man theory* allegations. Greatest living mathematician? Really? We as mathematicians should observe that they are always performing vulgar approximations of our field entirely for capitalistic motives, and it cuts against us.
Haider.@slow_developer

you know things are getting serious when the greatest living mathematician uses claude code to formalize a proof in lean not only that, Tao recently said AI is no longer hype when it comes to mathematical discovery and two weeks ago, gpt-5.2 also found a mistake in his work

English
4
0
22
3.3K
Noah Parisi
Noah Parisi@NoahParisi33495·
@algekalipso Elliptic curve Projective curve Affine curve Ogive curve Bell curve Grade curve Curve Ball
English
2
0
7
285
思想
思想@ZFC_PA·
これ偉すぎるだろ.
思想 tweet media
日本語
2
0
3
76
Itsram
Itsram@itsram63·
@ZFC_PA Basically it says space(any topological space) to groups (functions, modules) that can exist there. In a orderly manner (restrictions maps)
English
1
0
1
80
思想
思想@ZFC_PA·
Sheafに対する直観がようやく生えてきて, 大体の命題に対し「そりゃそうだろ」と思えるようになってきた.
日本語
1
0
0
64