30 | UPCI Minister | Young Adult Pastor at TrueLife Apostolic | Mathematics Professor at @ColumbiaColg | Kami and Kason are my 🌎 | Views are my own
Columbia, MO
Joined November 2022
- Tweets1.6K
- Following330
- Followers169
- Likes3.8K
What bothers me the most about this post is not that Brian can't articulate an analogy of the Trinity. It's the comments just saying "that's modalism" without offering a correct analogy
It's because they can't. It doesn't exist. But they will poke fun at their friend for trying.
The Trinity is easier to understand than people think.
Hi, my name is Brian.
My parents call me son. As their son, I have a particular role, and the way I speak and act reflects that relationship.
My wife calls me husband. As her husband, I have responsibilities, and my words and actions reflect the love, commitment, and honor I owe her.
My children call me father. As their father, I have a sacred duty, perhaps the greatest responsibility I've ever been given. How I speak, act, and lead reflects that calling.
One person. Three names. Three distinct relationships, each with its own responsibilities and expressions of love.
Yet in every role, I remain the same person, working toward the same purpose.
2
6
220
The thing that is crazy to me about some Trinitarians is that they would say I'm going to Hell for not accepting what isn't in the Bible (the Trinity), but I wouldn't say they are going to Hell for not understanding or believing what is in the Bible (Oneness doctrine).
5
2
256
With all the AI slop proofs coming out, this genuine human effort makes me happy. This is real mathematics.
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
27
New AI slop just dropped.
We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
openai.com/index/building-sc…
Actually math is hard because the concepts are really complex.
Math isn't hard because the concepts are complex. It's hard because traditional education treats it like robotic symbol-shuffling gymnastics. We force people to memorize formulas for years while completely hiding the underlying spatial intuition.
2
57
So, in looking at topics in Analytic Theology, I found there is a whole genre called "The Logical Problem of the Trinity" (LPT) where many authors admit the Trinity makes no sense in formal logic, and some try to square that circle.
New research area unlocked!
I have heard many say Apostolic Pentecostals are not academic. That they don't engage in scholarship. I will never listen to those arguments again.
Thank you to @UrshanGrad for hosting a great Symposium!
It was great to meet @mydocjackson and @ClaytonJKillion in person!
1
9
169
@ReviewApostolic Hey Apostolic Review fam! Will anyone else be at the UGST Symposium of Apostolic Pentecostal Scholars? I know @ClaytonJKillion will be. Anyone else? Would love to meet in person!
I like Weinstein. But he posts this crap to his normy audience that doesn't know a thing about mathematical research or how it works. So they can say, "Yes, so true! I knew it!"
Embarrassing.
Remember what I have been telling you:
When adequate support dried up decades ago, Mathematicians and more so Physicists became a club where the senior members deliberately slowed down the pace of progress of all our research to match the pace and direction of their club.
67
This would actually be hilarious if proven true. They try to solve a Millennium Problem foe clout and then their formalization is wrong.
God, please let this happen because it would be so funny.
The plot thickens.
"We show that the formalised Lean proof does not correspond to the [written paper] proof of blow-up of solutions to the Navier-Stokes equations."
arxiv.org/abs/2610.08144
74
People don't understand how long it takes even professional mathematicians to read research level mathematics. Papers aren't novels you skim through. They are dense and reading them is work.
That's why these AI proof dumps are irresponsible.
The old joke was that Collatz was a Soviet plot to stop US mathematics: it would infect people's minds and they would drop everything and work on nothing else.
I'm starting to feel that way about AI. I'm still digging through the positive proportion of Collatz result, and now I have to drop that and start reading quasi-RH. But just when I start making progress on that, they'll drop something else even more impactful. So I'll never actually finish reading/digesting anything?!? :(
53
A mathematical proof is like a novel.
It only has meaning if a human being is able to read and digest it. Without a human, it's just symbols on paper. A human being has to give the symbols and phrases meaning.
AI proofs are going to kill math.
35
This is why AI math proofs are not okay. If no human understands the proof, then what is the point of it? What knowledge is gained?
In mathematics, knowledge is gained by understanding proofs, not necessarily the theorem. The theorem is a tool to build more proofs.
We are in this brief moment in history that 700+ new mathematical results are added to the our collective understanding of mathematics, but since no human has read them yet, no individual human's understanding has actually changed.
1
56
Seeing AI solve all these giant math conjectures makes me thankful my contributions to mathematics are in pedagogy, not research.
I couldn't imagine working on a problem for years, just to have a private company solve it for me.
26
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math
1
35