big brane boi@bcubeddd

theoretical physicist not in harmony with the average roommate

Joined June 2020
1,151 Photos and videos
I'm actually very happy that they lean formalised the classification of finite simple groups; proof was too big anyway. It also demonstrates the uselessness of formalisation: if they didn't catch any nontrivial errors in THAT, the odds anything else has such are lower
6
33
2,072
I have banished the brand to the bbbulag for their naked insolence
188
We are Jackie kirk we carry the chip
83
It's great zohar is doing this
Scott Armstrong
@scottnarmstrong
14h
Replying to @ZoharKo
@ZoharKo and I are autoformalizing some KAM theorems in public stretch goal is to prove that the solar system is possible let us know if you have ideas
3
386
I need to draw your attention to the artistry in this Israeli elections graphic
1
144
Tag yourself I'm #sadSmotrich
48
misostringy checkpoint: what's the first tweet that shows up when you search "string theory" on your page?
ms rat 🐀@ratbitebaby
10 Jun 2023
misogyny checkpoint: what’s the first tweet that shows up when you search “women” on your page ?
6
282
extremely funny that the clankere now laughs in the face of captchas
1
6
409
die clankere digga lololol
72
Excuse me Pope sir you've launched 4 Crusades? Or were the previous popes fallible?
Disclose.tv
@disclosetv
15h
NEW - Pope Leo XIV says "there is no such thing as a holy war," rejecting any religious justification for conflicts around the world: "Only peace is holy."
1
221
I think I don't believe that the lightest glueball mass is a mathematical constant like pi is, heretic though that may be for a string theorist
2
15
1,991
here is an account of that. i haven't checked this except superficially and do not claim credit zenodo.org/records/23672445

A Conditional Derivation of the Near-Conformal-Temperature Heat-Capacity Bound

WARNING: I read but have not checked any of this.

zenodo.org
big brane boi@bcubeddd
Oct 26
Replying to @bcubeddd
FWIW my clanker (Deepseek) claims that the result "near the conformal temperature for theories smooth from ..." follows from results in arXiv:1606.08443 by Nakaguchi and Nishioka from a 1-page calculation
2
7
1,206
This is surprisingly close to the correct argument-- big win for one chinese open model versus two big american closed source ones
1
38
It's going to be an absolute tragedy if Tadeusz Balaban doesn't get the accolades for the resolution of the Yang-Mills mass gap he will deserve
4
47
3,452
It's also notable that the coterie of mathematicians that OpenAI courted doesn't seem to be involved. Instead there is one relevant scientist (Jaffe) and Gross (?) Nekrasov (?) Douglas (???)
2
1
20
776
big brane boi retweeted
csz@cszabla
Oct 26
so happy this practice is growing more accepted; can't wait to have my papers rejected because the AI reviewer noticed they didn't include a seminal paper it hallucinated timeshighereducation.com/new…
1
4
31
1,116
No offense to the authors, I'm just trying to make points about the use of AI in our discipline
1
2
207
it's very easy to see a future with oceans of conjectures resting on modest cores of actual arguments with reams of machine generated "evidence". (which is in fact already the case with the swampland programme). this future sucks, though
4
89
Good for them! However 1) the result is uninteresting. Worse, 2) even if we accept that AI produced a (borderline) original idea, where does that leave humans? Doing the grunt work of writing up while the machine does (boring) science?
Nirmalya Kajuri
@Kaju_Nut
Oct 26
Two physicists asked AI to choose a problem on its own, solve it and write a paper that could be published in a prestigious journal. In two hours, AI produced a paper with a novel, significant result.
5
1
58
4,879
FWIW my clanker (Deepseek) claims that the result "near the conformal temperature for theories smooth from ..." follows from results in arXiv:1606.08443 by Nakaguchi and Nishioka from a 1-page calculation
17
1,620
Load more