thesmtsolver2

3 ms·

1.
by thesmtsolver2 2mo ago
This is /r/iamverysmart material (by Claude) Part of intelligence is knowing your audience and communicating efficiently.
2.
by thesmtsolver2 2mo 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 2mo ago
Follow the money
4.
by thesmtsolver2 2mo 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 2mo 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 2mo 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 2mo 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 2mo ago
IDF wants to exterminate Bahrain and UAE?
9.
by thesmtsolver2 2mo ago
Comparing to raw LLMs? Much much better.
10.
by thesmtsolver2 2mo ago
Human beings can play chess directly without coding up a tool.
11.
by thesmtsolver2 2mo ago
You are human. You claim humans intelligent. Then, why should we accept your argument?
12.
by thesmtsolver2 2mo 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 2mo ago
They have AGI but apparently can't trace if specific conversations were used in training a model.
14.
by thesmtsolver2 2mo 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 2mo 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 2mo ago
That’s not how either logic or justice work.
17.
by thesmtsolver2 2mo 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 2mo 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 2mo 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 2mo 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 2mo ago
And criminals have been caught using CCTV footage for decades.
22.
by thesmtsolver2 3mo 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 3mo ago
What about Russia and Ukraine?
24.
by thesmtsolver2 3mo ago
This is the kind of comment that is considered informative and acceptable?
25.
by thesmtsolver2 3mo 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 3mo 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 3mo 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 3mo 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 3mo ago
But much much more dangerous than the US in China still.
30.
by thesmtsolver2 3mo ago
> do, but in private. Yeah, thanks for confirming my point.

More ›