Good, take the tiny pity money and fuck off.

>>17073145
knot theory will finally be useful for them

Why do you call them mathies instead of mathfags?

File: Knot_Unfolding.gif (264 KB, 700x700)

264 KB GIF

>>17073282
brutal

But the ns proof was wrong though?

>>17073298
you wish it was migger

>>17073284
its an LLM

>>17073284
Mathfags is an affectionate term, mathies is a derogatory one.

>>17073304
Yeah it was

And miggers are the ones pushing SI lol

>>17073317
delusional migger cope

>>17073298
More accurately, the irrelevant part that could be brute-forced was solved. A lot of queers who got filtered by high school math have been fixating on this though.

>>17073145
Just learn to cope? I don't see the issue.

>>17073298
>>17073324
https://arxiv.org/abs/2610.08144
They showed that OpenAI's Lean proof doesn't match OpenAI's Natural Language (NL) proof i.e. the two proofs prove two different things. It doesn't say however that the NL proof is wrong.
As of today, October 12, 2026, the NL proof hasn't been verified.

>>17073329
lean is for homosexual miggers

>>17073324
This is me.

>>17073329
Exactly. The problem itself is not exactly a monolithic one, and as such people are rushing towards big claims, when in fact only a certain facet of the overall problem has had some results.

https://www.youtube.com/watch?v=IoW8bozMzik
ohnonono
you made the qt cry!

File: Bootiez Sisters.png (801 KB, 871x892)

801 KB PNG

>>17073359
I don't get this. AI is better in chess than humans since 30 years now and people didn't stop playing chess. She can still think about math problems if that's her life. She can also use AI to invent new math problems what she can solve without looking up anything.

>>17073145
So many retards who got filtered by high school calculus are seething ITT.
They think their daddy Sam will finally save them from the lifelong humiliation of being intellectually outclassed by mathematicians.

may it rest in pieces

>>17073432
But isn't math about coming up with shit yourself?

Lol. Nobody cares about whether AI can be used to solve maths. Everybody cares about the ethics and attributions. Altman is a total wiener who seriously doesn’t understand WHY people are upset. It’s more funny than upsetting. He could have targeted a less controversial problem. But he didn’t. He’s a social autist. Probably struggles with certain social queues.

Also, AI runs on maths, so why wouldn’t be it excel at running maths?

>>17073436
Yeah ...
They ignore copyright laws.
Steal everyone else's work.
Sell it as their own.
Even charge money for it.
AI is a good thing and I would support Open AI if they wouldn't be smug greedy liars.

>>17073436
>>17073443
Isn’t this why Musk hates Altman? Because Musk originally wanted Ai to be free for all? But how would that even work out, if it takes a fuck ton of power and money to begin with. Governments would have to step in, and that could very quickly lead to governmental abuse.

So what do we do here? Not monetize it? How else would we support it?

>>17073446
DeepSeek is actually doing what OpenAI promised. DeepSeek is open sourcing everything, dirt cheap and honest about everything. Also somehow they didn't create billions $ of debt. Monetization is not the problem.

>>17073448
>Monetization is not the problem.
Of course it’s the problem. That’s all Jews like Altman can think about.

Also you’re a China shill. Fuck off.

Grok is superior to both Chatgpt and Deepseek

>>17073455
Go back! You are too stupid for this conversation.

>>17073448
>DeepSeek is open sourcing everything, dirt cheap and honest about everything
>honest about everything
Sure, Chang.

> DeepSeek is a privately owned Chinese artificial intelligence company, but it operates under national security laws that legally obligate it to share data with the Chinese Communist Party (CCP) upon request.
> Because of this, cybersecurity agencies and governments worldwide classify it as a severe information security risk, leading to widespread federal bans.
Yes much transparency
Give Xi your information, loyal TikTok user

>>17073417
chess is fun to watch for other people. no one has fun watching other people solve math problems

>>17073417
>since 30 years

for 30 years, you silly third world goober.

>>17073432
/thread