Pinned Tweet
Some fascinating history of German Gymnastics:
> Johann Christoph Friedrich GutsMuths, the grandfather of Gymnastics.
> Friedrich Ludwig Jahn (1778 – 1852), the father, a failed academic and a Vitalist who was influenced by the philosophy of Fichte (the fusion of mind and body)
1
1
8
3,141
This paper defines intrinsic interestingness of a theorem as the ratio between the length of its proof and the length of its statement.
And all I can think about is this Drucker's quote:
"There is nothing so useless as doing efficiently that which should not be done at all."
“An accumulation of facts is no more a science than a heap of stones is a house.” - Poincaré
LLMs are now proving results that have resisted mathematicians for decades. Finding interesting theorems without human guidance is a new bottleneck. We show that we can teach an LLM to do it!
TL;DR:
→ a quantitative notion of interestingness
→ 4.3× higher interestingness
→ a self-expanding discovery loop
[1/5]
24
Zarathustra: "Now I go alone, my disciples! You too go now, and alone. Thus I want it".
When Beethoven turned to his later string quartets, the critics called it "indecipherable, uncorrected horror". Rembrandt's chiaroscuro disappointed his wealthy patrons. Many other examples.
Nah, it's because trying to codify what is "interesting" is fundamentally antisocial behavior. Ladies and gentlemen I introduce you to Mathematical Soylent, the best most nutrious slop by all scientific measures. It's like, no thanks lmao I'm good.
2
39
Has any non-shitty and non-enshitified dating app been vibed exclusively for the academics (mathematicians included)?
1
1
113
I have 93% trust in my followers and 0% trust in X's algo fucking around with my account's reach and stability. Today is one of those days that "Notification" section is clearly showing algo is conspiring against me. but why?
1
1
52
Categories are the design spaces for type theories, and at the design stage we like categories because we care about structures. After design, comes the sound implementation, and then we need types to write specs to enforce correct-by-construction guarantees.
53
"won't need to"
wow, so inspiring Jensen!
don't use your brain, and instead pay for Jensen's next mega mansion.
JUST IN: NVIDIA $NVDA CEO Jensen Huang says we're entering a "low IQ era" where children won't need to learn basic math.
2
76
What Claude Does | What Ant Says
spins up SMT solvers => Claude solves it
spins up Mathematica => Claude evaluates it
spins up SymPy => Claude simplifies it
spins up Gurobi => Claude optimizes it
...
2
412
It's inspiring to see the depth of engagement in the are of AIxMath in the age of TechBroMath.
5
333
Immemorial retweeted
Nice gish-gallop. OK, I agree that at the end of the day it's public tax dollars, everything is.
So ask the citizens of AmeriKKKa: do you care to fund Jimmy Fuckass running Astra 24/7 to prove Asshole's Conjecture more than your kids getting good education & learning to think?
Money has to come from somewhere, dollars do not rain from the sky especially in the increasing hard financial situation of the US and its government. This leads me to my concern over the communication of said mathematicians, as like I have said before I hope they survive.
4
1
37
1,912
Immemorial retweeted
XI showed Trump a 1000 year old forest.
The worlds biggest moron showed XI a fucking helipad.
Jim Stewartson, Decelerationist 🇨🇦🇺🇦🇺🇸
214
767
5,719
1,662,453
apropos of nothing:
When Europeans came in contact with the America, European physicians embraced the plant as Herba Panacea. Even in the early 20th century, tobacco companies viciously used doctors in ads to reassure consumers that smoking was harmless or throat-soothing.
1
5
148
A similar dynamic was in full swing in the early days of digital social media. It took two decades when the public started to finally confront the devastating psycho-somatic effects of social media addiction on individuals and societies.
1
1
55
No control or idea over:
> what tokens actually mean for tasks
> how much they cost
> the unit of "intelligence" (?) and how it relates to token cost
> which tools the model is using, time taken, or tokens burned
addicts gambling, hoping this prompt is the one hittin the jackpot
4
173
US Driven out of the Persian Gulf. Debased!
Troops, air defenses, and planes hauled all the way back to Israel, and to Jordanian bases that are themselves constantly and preemptively pounded by Iran.
Who’s cornered, Scotty? Go retire in your pink house.
🇺🇸🇮🇷 Sec. Bessent on Iran:
"What we’re seeing with Iran now is a cornered and wounded animal. It’s the last gasp of the dying regime."
I'll believe it when I see it...
Writer: Michael
1
173
It's true! Every idiot nowadays runs a podcast.
> I did not know about the Hodge conjecture before blah blah
> after some gossips about it on the pod, I now know what Hodge conjecture is about.
would've been excusable if at least was smoking a joint or drinking vodka.
OpenAI researcher @boazbaraktcs on why math could be a microcosm for how humans gradually give up control to AI:
"The main reason for us to care about math is that it might be a microcosm of what will happen to our society."
"One of the scenarios that I am concerned about is gradual disempowerment, where people just let AIs control their lives. One of the ways that this can happen is if we allow ourselves to become less educated."
"AI takes care of all of our material needs, and there is less of a vocational pressure to become educated. And people just voluntarily cede control to the AIs."
"We still teach students calculus even though Wolfram Alpha has been able to do it for a decade or more."
@OpenAI
1
18
1,324