Rustam

1.3K posts

Rustam

Rustam

@rusant10

The human condition, inner work, healing, introspection, forays into left-brain lands. #RetractProximalOrigins

Zabulistan, Samsara/Berlin, DE Katılım Mart 2020
946 Takip Edilen83 Takipçiler
TotientQuotient
TotientQuotient@t0tientqu0tient·
@littmath @AcerFur As a recent example, Hannah Cairo (the one who found a counterexample to the Mizohata-Takeuchi conjecture at age 17) got a PhD offer straight out of high school. So it's more than possible.
English
3
0
1
483
Acer
Acer@AcerFur·
1/ Seeking advice on this since it’s been on my mind for the past four months or so If I were to drop out of my undergrad Cambridge degree and join OpenAI fully, what options would I really have on trying to continue to postgrad maths at some point?
English
91
7
334
73.7K
Jonathan Gorard
Jonathan Gorard@getjonwithit·
In some sense, the ubiquity of the Einstein summation convention in mathematics is a testament to the fact that vast swathes of differential and algebraic geometry, functional analysis, analysis of PDEs, etc. can be usefully reformulated in terms of zillions of dot products.
English
17
21
431
35.6K
k2rt
k2rt@mariok2rt·
@getjonwithit Algebraic geometry...? Over C I guess?
English
1
0
0
136
Rustam
Rustam@rusant10·
@Bryce_Nickels @justinmsizemore Shouldn't we be glad they did though? If they were even less open about their literally insane attitude it would be even harder to point to it and make others see there is a problem.
English
1
0
3
84
Bryce Nickels
Bryce Nickels@Bryce_Nickels·
The interview was an attempt to launder the reputation of Taubenberger— instead, it severely damaged the reputation of the current NIH director. His failure to understand and/or acknowledge this makes it worse. In addition, the NIH comms team didn’t do him any favors- they should have never let that interview happen. Or, after seeing what was said in the interview, they should have not released it.
English
1
1
11
366
Bryce Nickels
Bryce Nickels@Bryce_Nickels·
Jeffery Taubenberger: "Then we rebuilt the [1918 Spanish flu] virus to actually make an infectious clone and that's where you get into the infectious part where we have to do that as a select agent..." NIH Director's response: "Select agent, means what?" How a person committed to preventing another pandemic would respond: “Hold on. You rebuilt a virus that killed 50 million people? Are you insane?” clip from Director's Desk podcast (Aug 2025)
English
19
44
122
13K
Rustam
Rustam@rusant10·
@AlexKontorovich Do you know if he was using ChatGPT Pro, Plus, or a free account for this? Their thinking modes are of different strength...
English
1
0
0
134
Alex Kontorovich
Alex Kontorovich@AlexKontorovich·
Well this is pretty fun. Naive conjecture posted on overflow: the LCM(1,...,n) function is always "highly abundant": mathoverflow.net/questions/5010… Terry: I don't think so -- GPT, here's how I think you should be able to find a counterexample; can you write the code and check? GPT (after some back and forth): Yep. chatgpt.com/share/68ded9b1… Note: the insight for *why* this conjecture should fail, and where to look for a counterexample is Terry's, not GPT's. Though I do wonder what would happen if you just gave the problem to GPT/Gemini/Claude, and let them "think" about it... (If you run such an experiment, please report what happened!)
English
3
8
82
7.9K
Rozemarijn
Rozemarijn@Rozemar79838305·
@peter_berghmans I am also not able to see them, also not able so see some of the subsequent posts of @BillyBostickson Is there a solution? Sreenshots of your own posts Billy?
English
3
0
3
76
Rustam
Rustam@rusant10·
@AlexKontorovich Can one state homotopical flavored theorems formulated in infinity categorical language in Lean?
English
1
0
0
44
Alex Kontorovich
Alex Kontorovich@AlexKontorovich·
So I've been messing around with this and LLMs. The quality of Mathlib + AI is getting to the point where mathematicians with *minimal* knowledge of Lean should be able to (with AI assistance) *state* (and themselves verify that the statement has the correct mathematical meaning!!) whatever basic theorem/conjecture they want in Lean. First I tried the Bateman-Horn Conjecture. This is a generalization of Hardy-Littlewood that says if you have a bunch of polynomials, how often they should all simultaneously take prime values. Claude 4.0 basically one-shot it! (With a little cleaning/assistance from me.) If you're a mathematician who knows zero Lean: Is the statement readable to you? (It's hard for me now to "unsee" things...) Then I told some friends about this at lunch at IAS yesterday. Nick Katz asked if it could state Schur's theorem determining the Galois group of the truncated exponential polynomial (either S_n or A_n). Kasia Jankiewicz asked if it could state Gromov's polynomial growth theorem. Ask and ye shall receive. So: what theorems (or better yet, open conjectures) would you like me to try to formalize with Claude? (I'll take requests, at least for a moment... 😂)
Alex Kontorovich tweet mediaAlex Kontorovich tweet mediaAlex Kontorovich tweet media
Lean@leanprover

🔥 @GoogleDeepMind just dropped their "formal conjectures" project - formalizing statements of math's biggest unsolved mysteries in #LeanLang and #Mathlib! This Google-backed project is a HUGE step toward developing "a much richer dataset of formalized conjectures", valuable for benchmarks and growing the Lean ecosystem. The project was open sourced today! And you can be part of it! Check it out: github.com/google-deepmin… #LeanProver #FormalMath #AIResearch #GoogleDeepMind

English
15
35
230
28.6K
Rustam
Rustam@rusant10·
@VBruttel Viel Erfolg und vielen Dank! Wird der Vortrag aufgenommen?
Deutsch
1
1
6
217
Dr. rer. nat. Valentin Bruttel
Vortrag zum Thema Laborsicherheit und weltweite Pandemien Morgen, am 21. Mai um 19.00 Uhr, werde ich in Marburg einen öffentlichen Vortrag über Laborsicherheit, gefährliche Forschung und Ursachen von Pandemien halten. Es wird viel Zeit für Fragen geben. Aus persönlichen Gründen wird es ggf. mein einziger öffentlicher Vortrag zu diesem Thema werden. Der Eintritt ist frei, um Spenden zugunsten von @BiosafetyNow wird gebeten. Ort: Stadtverordnetensitzungssaal, Barfüßer Str. 50, 35037 Marburg
Deutsch
11
25
73
3.6K
Bryan Johnson
Bryan Johnson@bryan_johnson·
The body can just do things. Always rebuilding. Immune cells: hours Small-intestine lining: 3-5 days Stomach lining: 3-6 days Taste-bud cells: 10 days Skin epidermis: 1 month Red blood cells: 120 days Liver cells: 1 year Fat cells: 10 years Skeleton: 10 years Brain neurons: lifetime
English
92
182
2.4K
188.3K
Rustam
Rustam@rusant10·
@allthatbazzz @AutonomicBrad Not a doctor, but discovered I suddenly had kidney problems after covid. The cutoff at 60 is because two kidneys afford you spare capacity. If you have two healthy kidneys your eGFR should be over 90. Else technically might be chronic kidney disease stage 2 or acute kidney injury
English
1
0
1
117
Baz
Baz@allthatbazzz·
@AutonomicBrad Yeah it’s a mystery to me! But it does worry me. Glad to know I was in normal range, thank you! I’m going to try and do the renal diet in the meantime and see if that helps.
English
1
0
1
154
Baz
Baz@allthatbazzz·
Anyone else with long covid having pain in their kidneys? It has been going on for months & I have gone to the doctor and urgent care and they said my “labs were normal” and sent me away. It is not normal that my kidneys are always hurting. Anyone else have this problem?
English
62
38
352
23.5K
Rustam
Rustam@rusant10·
@REGENETARIANISM @Bryce_Nickels The messenger will distract from the message. It'll be viewed as a Trumpian attack on science or something like that which therefore has to be opposed. Won't necessarily make things easier here though it's correct on the merits.
English
0
0
0
16
D. Janković (aka Dog's Breakfast)
D. Janković (aka Dog's Breakfast)@breakfast_dogs·
The French Enlightenment Recently French state media broadcast a documentary skeptical of a natural origin of Covid-19. This is a watershed in European coverage, and follows tantalizing rumors from German and Italian IC sources. How sincere is this new openness? 🧵
D. Janković (aka Dog's Breakfast) tweet mediaD. Janković (aka Dog's Breakfast) tweet media
English
7
69
218
23.7K
eve-meth
eve-meth@zermaelian·
@aphercotropist thanks! I'll check them out. And thanks for introducing me to nLab this looks super cool.
English
1
0
1
19