chloe

16.8K posts

chloe banner
chloe

chloe

@schala163

benis beeeeeeeeenis

Katılım Ağustos 2019
629 Takip Edilen889 Takipçiler
Sabitlenmiş Tweet
chloe
chloe@schala163·
im @schala163@mathstodon.xyz on mastodon and u should follow me in case twitter explodes pls
English
1
1
9
0
chloe
chloe@schala163·
@TimHenke9 @littmath right. The gluing data is a cocycle with values in GL_n which is a very precise sense in which keeping track of the isomorphisms between fibers encodes all the interesting information in this example
English
0
0
1
48
Daniel Litt
Daniel Litt@littmath·
going on Jubilee with 20 people who assert objects are isomorphic without specifying the isomorphism
English
18
37
980
42.3K
chloe
chloe@schala163·
@TimHenke9 @littmath if you glue a bunch of trivial vector bundles on an open cover you get a trivial vector bundle, but if you glue a bunch of trivializable vector bundles you can get an vector bundle (at least in some contexts)
English
1
0
4
150
Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social
@littmath Do you have a sharp, short argument that shows the absolute necessity? I've tried before to argue the importance of the difference between trivial and trivialisable but found that I didn't really find the right example
English
6
0
8
1.7K
chloe
chloe@schala163·
@littmath "it's surprisingly hard to avoid both being good and being bad" i mean he's not wrong...
English
0
0
0
68
Daniel Litt
Daniel Litt@littmath·
I feel like it’s kind of obvious which side you’d rather err on?
Daniel Litt tweet media
English
34
31
1.3K
41.3K
chloe
chloe@schala163·
@kirbykaze_ i believe it is literally impossible to get a good fastfall timing on AC nair with making some unreactable assumption about which parts of the move are going to induce hitlag, which imo is neat
English
1
0
0
143
KirbyKaze
KirbyKaze@kirbykaze_·
Watching this set between Cody and Zain and it hits me that Marth Nair is just a really really well designed move.
English
3
0
123
4K
chloe
chloe@schala163·
@AdithyaRao @QiaochuYuan no they didn't. That's not true actually. Before Euclid nobody knew anything about Euclidean geometry, if you can even believe it.
English
0
0
2
44
QC
QC@QiaochuYuan·
what ol' benny mandelbrot was trying to do in this book was like, take the overpowering ghost of euclid inhabiting mathematics, shake him firmly by the shoulders, and go "look at this fucking coastline bro! fucking look at it! this is what things really look like you asshole"
QC tweet mediaQC tweet media
English
12
41
576
24.1K
chloe
chloe@schala163·
@littmath Claude demands the m̵a̵t̵h̵ materials science rigor
English
0
0
7
423
Daniel Litt
Daniel Litt@littmath·
seems important to check if the fabrication instructions for the physically impossible metamaterials work
Daniel Litt tweet media
🍓🍓🍓@iruletheworldmo

ok. i’m tired of holding back. some of labs are holding things back from you. the acceleration curve is fucking vertical now. nobody's talking about how we just compressed 200 years of scientific progress into six months. every lab hitting capability jumps that would've been sci-fi last quarter. we're beyond mere benchmarks and into territory where intelligence is creating entirely new forms of intelligence. watched a demo yesterday that casually solved protein folding while simultaneously developing metamaterials that shouldn't be physically possible. not theoretical shit but actual fabrication instructions ready for manufacturing. the researchers presenting it looked shell shocked. some were laughing uncontrollably while others sat in stunned silence. there's no roadmap for this level of cognitive explosion. we've crossed into recursive intelligence territory and it's no longer possible to predict second order effects. forget mars terraforming or fusion. those are already solved problems just waiting for implementation. the real story is the complete collapse of every barrier between conceivable and achievable. the gap between imagination and reality just vanished while everyone was arguing about risk frameworks. intelligence has broken free of all theoretical constraints and holy fuck nobody is ready for what happens next week. reality itself is now negotiable.

English
27
19
657
39.1K
math lion 🦁
math lion 🦁@TonyTheLion2500·
My little feline overlord Buddy, always helps me by being super cute 🥰🥰🥰
math lion 🦁 tweet mediamath lion 🦁 tweet media
English
2
0
12
377
chloe
chloe@schala163·
@JDHamkins the induced map on the 0'th exterior power of a 0-dimensional vector space is the identity 🥰
English
0
0
3
120
Joel David Hamkins
Joel David Hamkins@JDHamkins·
My daughter calls me regularly to talk math. Today's topic was a certain recursion on determinants of certain matrices in various dimensions. For the anchor, she says: "So, a 0x0 matrix has determinant 1 by definition? " Well, math tweets, what is your answer?
English
58
19
427
80.8K
chloe
chloe@schala163·
@littmath "deep research helped me prove the riemann hypothesis and now the Clay Mathematics Institute owes me a million dollars" see it just lets me type anything
English
0
0
2
81
chloe
chloe@schala163·
@littmath the you gotta understand is, anyone can just whatever they want on here
English
2
0
2
621
Daniel Litt
Daniel Litt@littmath·
I admit to doubting myself here, given some of the over-the-top praise of the product I've been seeing. I'm sure it will improve in the coming months but at the moment I'm struggling to see how to use it effectively for mathematics, at least above and beyond base o3-mini-high.
English
10
6
279
17.6K
chloe
chloe@schala163·
@QiaochuYuan @UntilTrees The other one should be something like the smallest fixed point of the map that sends alpha to the "alpha'th church-kleene ordinal" (by which I mean the smallest ordinal whose order type is not computable by an ordinal turing machine up to rank alpha)
English
1
0
1
80
QC
QC@QiaochuYuan·
people get fucked up about godel's incompleteness theorems but it's worth spending some time getting fucked up about tarski's undefinability theorem. it is not totally wrong to summarize it as "it is not possible to define truth." isn't that interesting? worth a thonk
QC tweet media
Wolf Tivy@wolftivy

Do you consider the theological implications of CS and math theorems, anon? Post your best take on the theology of mathematical foundations or we’ll deport you to the humanist gibberish department.

English
12
17
296
21.1K
chloe
chloe@schala163·
@littmath What are the questions 👀
English
0
0
0
96
Daniel Litt
Daniel Litt@littmath·
First of all, it’s clearly a significant improvement over o1. It immediately solved (non-rigorously) some arithmetic geometry problems with numerical answers that I posed to it, which no other models have been able to solve. I consider these problems pretty tricky.
English
2
11
336
31.3K
Daniel Litt
Daniel Litt@littmath·
Some brief impressions from playing a bit with o3-mini-high (the new reasoning model released by OpenAI today) for mathematical uses.
English
33
109
1.2K
591.6K
chloe
chloe@schala163·
@pythagoreancat there's a version of gauss-bonnet for orbifold surfaces that reduces to this formula when the metric is flat (so all the curvature comes from orbifold points) and reduces to the usual gauss-bonnet theorem when there are no orbifold points
English
0
0
0
53