babygirl needs to read her theorems!
February 25, 2026 at 10:00 PM
babygirl needs to read her theorems!
Release the theorems
Great essay, and great to see mathematicians saying this
October 4, 2026 at 2:45 AM
Release the theorems
these are complaints about academia I very rarely hear from people who actually prove theorems and whatnot - I presume not because they have my politics or anything close to them but probably because they're busy proving theorems
August 13, 2026 at 2:05 AM
these are complaints about academia I very rarely hear from people who actually prove theorems and whatnot - I presume not because they have my politics or anything close to them but probably because they're busy proving theorems
John Urschel has his CV on his MIT professor page and if you scroll past 7 pages of his mathematics achievements and awards and theorems and theses it says, briefly, "former NFL (American) football player" math.mit.edu/~urschel/job...
October 7, 2026 at 10:13 PM
John Urschel has his CV on his MIT professor page and if you scroll past 7 pages of his mathematics achievements and awards and theorems and theses it says, briefly, "former NFL (American) football player" math.mit.edu/~urschel/job...
Now in one place, my sixty favorite theorems covering the six decades of computational complexity.
blog.computationalco...
blog.computationalco...
Favorite Theorems: The Complete List
Now in one place all of my sixty favorite theorems from the six decades of computational complexity (1965-2024). 2015-2024 Graph Isomorphism...
blog.computationalcomplexity.org
December 4, 2024 at 2:07 PM
Now in one place, my sixty favorite theorems covering the six decades of computational complexity.
blog.computationalco...
blog.computationalco...
It is quite plausible we wind up in a world where deeply understanding stacks of theorems is intensely important!!
October 8, 2026 at 12:47 AM
It is quite plausible we wind up in a world where deeply understanding stacks of theorems is intensely important!!
She is too eeny weeny teeny.... pencil too big... how will she write her theorems and hypotheses...
#sizesky #shrinking
#sizesky #shrinking
April 8, 2026 at 2:49 PM
She is too eeny weeny teeny.... pencil too big... how will she write her theorems and hypotheses...
#sizesky #shrinking
#sizesky #shrinking
So far my Australia trip is going well. My collaborators and I have proven many excellent theorems. We then constructed excellent counterexamples to those same theorems.
August 16, 2025 at 10:16 AM
So far my Australia trip is going well. My collaborators and I have proven many excellent theorems. We then constructed excellent counterexamples to those same theorems.
Thanks for sharing. I saw github.com/James-Hanson... for the first time earlier today.
GitHub - James-Hanson/junk-theorems-in-lean: A small collection of formally verified junk theorems provable in Lean4 + Mathlib.
A small collection of formally verified junk theorems provable in Lean4 + Mathlib. - James-Hanson/junk-theorems-in-lean
github.com
October 7, 2026 at 6:48 PM
Thanks for sharing. I saw github.com/James-Hanson... for the first time earlier today.
Your Daily USA education and Immigration reminder:
Melania Trump did not get her Epstein Visa by solving scientific theorems or reciting Shakespeare.
Melania Trump did not get her Epstein Visa by solving scientific theorems or reciting Shakespeare.
September 25, 2025 at 7:37 PM
Your Daily USA education and Immigration reminder:
Melania Trump did not get her Epstein Visa by solving scientific theorems or reciting Shakespeare.
Melania Trump did not get her Epstein Visa by solving scientific theorems or reciting Shakespeare.
Can't wait until I can spread new pre-print theorems on my toast every morning.
October 7, 2026 at 1:22 AM
Can't wait until I can spread new pre-print theorems on my toast every morning.
Lean+Matlib be like "the number 3 is Julius Caeser"
October 7, 2026 at 2:42 PM
Lean+Matlib be like "the number 3 is Julius Caeser"
good cosmic monkey paw joke. we can have all the theorems and counterexamples we want, if we can just accept rapidly increasing piles of technical debt
October 7, 2026 at 2:10 AM
good cosmic monkey paw joke. we can have all the theorems and counterexamples we want, if we can just accept rapidly increasing piles of technical debt
There should be a rewrite of His Dark Materials where computer scientists hunt down Lyra and take the Alethiometer, then spend the next 1200 pages proving theorems that require an oracle.
May 5, 2026 at 10:47 PM
There should be a rewrite of His Dark Materials where computer scientists hunt down Lyra and take the Alethiometer, then spend the next 1200 pages proving theorems that require an oracle.
but theorems output as the collateral exhaust fumes of model evals give you facts, not insights. At least not directly. Only by studying those facts intensively can you relate those facts back to genuine insight. And that's the heart of the fissure between labs and the mathematical community.
October 7, 2026 at 5:25 AM
but theorems output as the collateral exhaust fumes of model evals give you facts, not insights. At least not directly. Only by studying those facts intensively can you relate those facts back to genuine insight. And that's the heart of the fissure between labs and the mathematical community.
The questions available to a skeptic today are kind of esoteric, like “how much should we as a society be willing to pay for theorems”
August 20, 2026 at 1:48 PM
The questions available to a skeptic today are kind of esoteric, like “how much should we as a society be willing to pay for theorems”
conspiracy theorems
October 23, 2024 at 12:16 AM
conspiracy theorems
great mathematicians will die with half-finished theorems attempting to solve this
May 31, 2026 at 5:38 PM
great mathematicians will die with half-finished theorems attempting to solve this
Ultimately it’s unclear to me why I should even care whether or not they are “stochastic parrots”. They prove theorems now, and while it’s interesting scientifically how and why that happens, that’s linearly independent of the fact that they prove theorems
September 7, 2026 at 5:16 AM
Ultimately it’s unclear to me why I should even care whether or not they are “stochastic parrots”. They prove theorems now, and while it’s interesting scientifically how and why that happens, that’s linearly independent of the fact that they prove theorems
“Oh—” He used a word you did not understand. “Harrowhark, no theorems!”
“Don’t be ridiculous. She can’t be using theorems,” said Mercy. “She’d be barely awake and it’s totally beyond her at this poi—John, stop her, she’s using theorems!!”
“Don’t be ridiculous. She can’t be using theorems,” said Mercy. “She’d be barely awake and it’s totally beyond her at this poi—John, stop her, she’s using theorems!!”
December 9, 2025 at 11:10 PM
“Oh—” He used a word you did not understand. “Harrowhark, no theorems!”
“Don’t be ridiculous. She can’t be using theorems,” said Mercy. “She’d be barely awake and it’s totally beyond her at this poi—John, stop her, she’s using theorems!!”
“Don’t be ridiculous. She can’t be using theorems,” said Mercy. “She’d be barely awake and it’s totally beyond her at this poi—John, stop her, she’s using theorems!!”
Made this Circle Theorems and Trigonometry worksheet inspired by interwoven maths @nathanday.bsky.social in #Mathstoday
PPT and answers here: chelekmaths.com/most-recent-...
PPT and answers here: chelekmaths.com/most-recent-...
October 8, 2025 at 11:09 AM
Made this Circle Theorems and Trigonometry worksheet inspired by interwoven maths @nathanday.bsky.social in #Mathstoday
PPT and answers here: chelekmaths.com/most-recent-...
PPT and answers here: chelekmaths.com/most-recent-...
Today is National STEM Day
(Conspiracy theorems)
(Conspiracy theorems)
November 8, 2024 at 10:21 PM
Today is National STEM Day
(Conspiracy theorems)
(Conspiracy theorems)
it's hard to think of concepts more broadly abused and misunderstood in recent years than gödel's theorems and searle's room
February 12, 2026 at 7:58 PM
it's hard to think of concepts more broadly abused and misunderstood in recent years than gödel's theorems and searle's room
it's a lot of "isn't it cringe to like dating sims" and not "[robot woman unclipping her face revealing a bunch of wires] hey ... have you heard of something called gödel's incompleteness theorems"
September 8, 2025 at 3:10 PM
it's a lot of "isn't it cringe to like dating sims" and not "[robot woman unclipping her face revealing a bunch of wires] hey ... have you heard of something called gödel's incompleteness theorems"
Candace Hicks: "Notes of String Theory" (2022)
July 20, 2023 at 2:58 PM
Candace Hicks: "Notes of String Theory" (2022)