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
- Following329
- Followers168
- Likes3.8K
Mason Doyle retweeted
Somehow we've reached a point in education where:
- teaching kids explicitly is controversial
- academic rigour is treated as a threat to student wellbeing
- memorizing math facts is discouraged or considered unnecessary
- practice is dismissed as "drill and kill"
Low expectations are not kindness, and nothing hurts someone's confidence more than falling further behind every year.
With all the AI slop proofs coming out, this genuine human effort makes me happy. This is real mathematics.
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.
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!
Mason Doyle retweeted
Today, on what would have been his 33rd birthday, our Nation honors the loving memory of Charlie Kirk - a father, husband, Christian martyr, & titan of the conservative movement.
We renew our resolve to always defend our principles of truth, faith, & the open exchange of ideas.
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.
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
Mason Doyle retweeted
People seem excited about this. Idk, I think this is horrible. There is nothing poetic about coldly releasing hundreds of solutions to problems that could have been inspiring stories (e.g., Andrew Wiles). Using AI is fine; turning maths into a race won with concentrated resources is disgusting.
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
Mason Doyle retweeted
If I posted a horribly written paper claiming to solve a big problem (Lean certificate and all) while giving no credit and never engaging the community working on it, I’d be considered an academic sociopath. Keep it up and I’d be isolated.
AI companies are doing that at scale.
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?!? :(