thesmtsolver2

3 ms·

1.
by thesmtsolver2 5d ago
This is /r/iamverysmart material (by Claude) Part of intelligence is knowing your audience and communicating efficiently.
2.
by thesmtsolver2 5d ago
So, Meta should be banned because it followed EU law to ban some things? Wow, Europeans do have a penchant for recursively banning things :)
3.
by thesmtsolver2 6d ago
Follow the money
4.
by thesmtsolver2 6d ago
Originally derived from Hinduism thousands of years before Buddha (see Advaita for a modern view and Upanishads or Gita/Vedas for source) https://en.wikipedia.org/wiki/Brahman
5.
by thesmtsolver2 9d ago
Funny you say that while OpenAI and rest of the world rely on Lean and other formal systems to power through (or sometime brute force) math problems.
6.
by thesmtsolver2 9d ago
No, this is not survivorship bias. They didn’t claim ALL math is useful. They only said SOME math is civilization changing in nature.
7.
by thesmtsolver2 10d ago
Well, they are absolutely pretty good at faking being good at long-horizon planning which is enough to fool a lot of people till things start breaking lol.
8.
by thesmtsolver2 10d ago
IDF wants to exterminate Bahrain and UAE?
9.
by thesmtsolver2 11d ago
Comparing to raw LLMs? Much much better.
10.
by thesmtsolver2 11d ago
Human beings can play chess directly without coding up a tool.
11.
by thesmtsolver2 13d ago
You are human. You claim humans intelligent. Then, why should we accept your argument?
12.
by thesmtsolver2 14d ago
How dare the billionaire math professors profit off theorem proving! The poor altruistic AI companies like OpenAI will unleash math understanding and theorems for free for humanity!
13.
by thesmtsolver2 14d ago
They have AGI but apparently can't trace if specific conversations were used in training a model.
14.
by thesmtsolver2 15d ago
You can steal lemmas, rough proof directions, conceptual ideas etc without stealing the full proof. Any of that done unattributed is plagiarism. Either OpenAI is incompetent or evil if they can't publicly prove the allegations wrong.
15.
by thesmtsolver2 15d ago
The biggest cope is buying OpenAI's "We can't prove we didn't plagiarize" Apparently, we have AGI that can solve Millennium Prize problems but can't trace simple data flows lol.
16.
by thesmtsolver2 17d ago
That’s not how either logic or justice work.
17.
by thesmtsolver2 18d ago
What? Go ask almost anyone in Asia outside Mainland China. They all consider China to be the aggressor because they are. E.g., Tibet or India.
18.
by thesmtsolver2 18d ago
Didn’t you read the memo? Only European govts or China can act in the interests of their people and companies but if the US does that it is immoral.
19.
by thesmtsolver2 23d ago
Just because a condition is new to you doesn’t imply moving the goalpost. People have been putting forward continual learning and similar conditions like autonomy since 1950s.
20.
by thesmtsolver2 24d ago
Ahem Some Interrail travellers told to cancel passports as hacked data posted online https://www.theguardian.com/technology/2026/apr/23/some-inte...
21.
by thesmtsolver2 27d ago
And criminals have been caught using CCTV footage for decades.
22.
by thesmtsolver2 1mo ago
Doesn’t matter. Details don’t matter. Look at the top comment thread: just politics and no discussion of the tech.
23.
by thesmtsolver2 1mo ago
What about Russia and Ukraine?
24.
by thesmtsolver2 1mo ago
This is the kind of comment that is considered informative and acceptable?
25.
by thesmtsolver2 1mo ago
The world collectively had so much trade barriers for US goods and services and still has. They just weren’t direct like tariffs.
26.
by thesmtsolver2 1mo ago
The party line for why the US tariffs are bad is that the US tariffs are bad for US customers and won’t hurt the US exporting countries. Why won’t the same logic apply to Canadian tariffs?
27.
by thesmtsolver2 1mo ago
So why leave out food industry which has provably caused health harm and killed people. Leaving out the modern food industry but going after social media shows that this is just politics as the food industry wets the beak and greases the pl
28.
by thesmtsolver2 1mo ago
How much of that is from legal migration from developed first world countries for both countries? I know I will be downvoted for this.
29.
by thesmtsolver2 1mo ago
But much much more dangerous than the US in China still.
30.
by thesmtsolver2 1mo ago
> do, but in private. Yeah, thanks for confirming my point.

More ›