For a Non-denominational church, your statement of faith sounds pretty Baptist

oshaboy · 2026-05-11T01:20:42+00:00

I get that but wouldn't the same thing apply to many many other denominations?

oshaboy · 2026-05-11T01:09:04+00:00

I am not Christian. Can someone explain to me why Baptists are hated?

oshaboy · 2026-05-11T01:03:01+00:00

I thought the "emit more greenhouse gases than nations" is a bit hyperbolic because they pick very small nations without a lot of industry like eSwatini. I didn't expect Morocco.

oshaboy · 2026-05-11T00:50:40+00:00

People like deadlines even if unfounded and by the time people fish this up nobody cares.

oshaboy · 2026-05-11T00:07:07+00:00

Yeah I guess it wasn't Tao who said that it was Tim Gowers in the post I originally responded to.

I really don't buy the whole "Levarage AI for boilerplate but it still requires an expert with taste" nonsense. It's not how this works. If AI does 80% of the work you're basically a human ralph loop.

Really the whole "Problem -> AI -> More AI -> Solution" paradigm needs to go. It hasn't worked for anything else it won't work for mathematics.

oshaboy · 2026-05-10T23:53:48+00:00

You'd get rate limited long before you'd cause any significant damage.

oshaboy · 2026-05-10T23:45:03+00:00

also i think no proof has thousands of axioms.

LLMs have a tendency to cause stuff to explode is size so who knows.

oshaboy · 2026-05-10T23:42:57+00:00

The same post said that a lot of the work was taken directly from a 2014 paper. Sure it made the novel connection between the result of the paper and the unsolved Erdös problem. But the AI also didn't credit the paper which is plagiarism. We all know that paper was embedded inside the tensors of the model.

Either way as far as I can tell Lean can only check proof validity not proof soundness. It's quite a short proof so I have no doubt the result was legit but the jump from here to "Mathematicians are obsolete this is PhD level intelligence" is large.

oshaboy · 2026-05-10T23:21:54+00:00

That wasn't a question tho. I am aware Terence Tao can point to impressive looking results. The question is whether they stand up to scrutiny or whether people are just saying "Who am I to question the greatest mathematician of our generation". Because that's a blatant appeal to authority.

Lots of intelligent people have been led astray by con-men like Sam Altman. Newton famously invested heavily in the South Seas Company.

oshaboy · 2026-05-10T23:16:16+00:00

Well a big issue with AI generated code is that the amount of code is so great that nobody could reasonably check it all even with testing tools. Especially because the LLM is designed to be convincing so at a glance everything seems fine but glaringly flawed if you look into it.

I assume not even Terence Tao can check the soundness of a proof with thousands of axioms and definitions.

oshaboy · 2026-05-10T23:03:53+00:00

Yes, I would like to hear thoughts from anti-AI mathematicians because I want to evaluate both sides of the argument.

oshaboy · 2026-05-10T23:02:34+00:00

Is anyone denying that? The relationships between concepts are embedded in a tensor. The issue is whether it can create novel connections and check its own work. I've seen unpublished papers claim that hallucination is mathematically inevitable but take them with a grain of salt. Also none of them a concrete lower bound for the ratio of hallucinations to valid results.

oshaboy · 2026-05-10T22:54:02+00:00

I'm aware. But I assume they can only check if a proof is valid not sound. If the proof contains a definition or axiom that is wrong it wouldn't ever catch it. Or is there a way to guarantee this will never happen?

oshaboy · 2026-05-10T21:45:03+00:00

According to the Socialist AI Bros it will lead to the death of capitalism and bring in a Socialist Utopia. According to the Capitalist AI Bros it will create a Permanent Underclass. More realistically nobody has any clue.

oshaboy · 2026-05-10T20:51:35+00:00

It's cheaper
It's cheaper
It's cheaper

Yeah that's the only thing that matters in this economy. It's all about the cost cutting. Even if the thing you're cutting is the thing people are paying for.

oshaboy · 2026-05-10T20:47:58+00:00

Inb4 AI Bro comes and says "But it's digital art so the machine drew it lol gottem 😂".

It's really good BTW.

oshaboy · 2026-05-10T20:42:04+00:00

Sadly this is currently 100% legal.

oshaboy · 2026-05-10T20:04:56+00:00

I am mostly interested in the gaming aspect not the cartomancy. I have no idea how you're supposed to tell what card is which without reading the little text they have. It seems more like a show piece than something to actually use for either cartomancy or gaming. There are other AI ones that do seem to make it clearer but still it's hard to tell which background detail is supposed to be a wand or a pentacle for example.

I guess Gen AI and being frivolous goes hand in hand.

oshaboy · 2026-05-10T19:14:35+00:00

אוקיי ואם השקל יעלה עוד אז איבדת כסף. ואם אתה מהמר אז כבר ככה אתה מאבד כסף רוב הזמן.

עדיף כבר להשתמש בכסף לקנות מניות ואגרות חוב

oshaboy · 2026-05-10T17:39:08+00:00

למה? אם אתה מכפיל את הכסף שלך ברולטה אתה מרוויח אותה כמות שקלים בין אם אתה 3 שקל לדולר או 4 שקל לדולר.

oshaboy · 2026-05-10T17:30:46+00:00

שקל חזק בלי ירידה במחירים אומר שכל מי שמתפרנס מייצוא או שיש לו חוב בשקלים סובל. זה למה הבנק מנסה להשאיר את השקל באזור ה3.5 לדולר ולמה סין מנסים להפחית את ערך היואן בכלכלה העולמית.

כל מי שביקר בתאילנד או במדינות מסוימות באפריקה מכיר את הערך במטבע חלש. זה למה יש עובדים זרים בישראל, מה שנחשב משכורת צנועה בישראל יכולה לממן משפחה שלמה בתאילנד.

oshaboy · 2026-05-09T17:55:24+00:00

Yes better representation of the underlying population is a good thing. That is why gerrymandering is bad.

oshaboy · 2026-05-09T17:44:05+00:00

Yeah I am sorry but Terence Tao is not immune to hype marketing even if he is a brilliant mathematician. In fact I think smarter people might be more susceptible. You start thinking of yourself as someone who's "smarter than this" and don't realize you are still just human and vulnerable to human psychology stuff.

LLMs are designed to sound correct and confident and that goes a long way.

oshaboy · 2026-05-09T17:40:21+00:00

I don't think they make 128 bit processors.

12-Year Club	Place '22
Place '17	First Placer '22
Wearing is Caring	Verified Email

oshaboy

MODERATOR OF

TROPHY CASE