sarah
@atheorist
Followers
11K
Following
47K
Media
107
Statuses
3K
solve physics - my views evolve - optimist
Joined July 2012
how it feels after botching an explanation of something you ought to know very well
8
26
649
"OpenAI sees 2026 as the Year of AI and Science, the moment when AI begins unlocking breakthroughs in scientific discovery, just as it sped up software development in 2025."
6
16
149
It’s “well-known” that science is upstream of abundance: improving our understanding of the universe → improves our ability to act → leads to the ability to do more with “the same” resources. This is fundamental to our civilization! I’ve found it surprisingly difficult to
22
10
115
Idk how x algorithms work but I am lucky to be followed by over 500 new ppl here in the last couple or days and thought I own some intro besides gratitude:) I am Eve and I was dreaming to become a professor focused in the area of mathematical side of AI. Then I quickly learned
9
4
62
if you code, when’s the last time you typed the word “if” in code by hand
6
1
17
They don't want you to know how good it feels to be in a middling hotel with the AC set slightly too high while mindlessly pressing 1 on Claude Code with with Ant-Man and the Wasp: Quantumania playing on the TV in the background
4
1
52
AI will evolve from being an automation machine to becoming an invention machine. This will require a fundamentally new paradigm, with symbolic search as its core, not curve-fitting
Probabilistic slop engines cannot do science, drug discovery, materials discovery, or magic. Anyone who thinks AI can autonomously do science simply doesn’t understand how knowledge is created.
109
149
1K
two years ago it was hard to imagine that models were going to do grade school math much less completely saturate AIME. they couldn’t do the most basic problems, it was actually alarming. people forget
85
91
2K
I don't want a cure for cancer unless I get the glory of finding it !! wahhh
2
0
25
Human beings will ofc still engage in science as a sport, just as chess players still play chess despite being far worse than SOTA engines. Nobody is taking away science from humans. Moreover, chess players still get immense satisfaction from the sport despite the fact they
It is honestly alarming to me that stuff like this, the idea that we ought to significantly delay curing cancer exclusively to give human researchers the personal gratification of finding it without AI, is being taken seriously at conferences
16
17
223
Even within the ATP (Automated Theorem Proving) space, my timelines are considered fast. I think that a millennium problem will be solved in 2027 by an AI without human intervention. When I asked skeptics throughout the year what Putnam score would make them radically accelerate
Putnam, the world's hardest undergrad math contest, ended 4pm PT yesterday. By 3:58pm, AxiomProver @axiommathai autonomously solved 8/12 of Putnam2025 in Lean, a 100% verifiable language. Last year, our score would've been #4 of ~4000 and a Putnam Fellow (top 10 in recent yrs)
16
26
447
EXPLAIN TO ME WHAT MAKES MATHEMATICAL STATEMENTS TRUE OR I'LL FUCKING K!LL YOU! DON'T DUMB IT DOWN INTO SOME VAGUE SHIT! EXPLAIN WHAT MAKES THEM WORK IF THERE IS NO PLATONIC REALM! WTF IS A PROPERTY! WHAT THE FUCK IS A NON-NATURAL FACT? DON'T DUMB IT DOWN OR I'LL FUCKING K!LL YOU
343
68
912
"A mathematician, like a painter or poet, is a maker of patterns. If his patterns are more permanent than theirs, it is because they are made with ideas."
1
2
49
At NeurIPS and interested in working on the hardest problems on Earth? DM me.
4
2
42
This isn’t a bit :( there are no equations and a lot of the talks I feel like I could have given with like no prep
3
1
51
Couldn’t resist
We just tested Aleph prover on this version of Erdos #124 problem and were able to prove it in less that 2.5 hours and under $200 in cost: https://t.co/Q8boT8zOh2
https://t.co/xsyWv2ehDC
1
5
19