aluminum96

7 ms·

1.
by aluminum96 1y ago
People are reading a lot into the FrontierMath articles from a couple months ago, but tbh I don’t really understand what the controversy is supposed to be there. failing to clearly disclose sponsoring Epoch to make the benchmark clearly d
2.
by aluminum96 1y ago
“they must be lying because I personally dislike them” This is why HN threads about AI have become exhausting to read
3.
by aluminum96 1y ago
OpenAI explicitly stated that it is natural language only, with no tools such as Lean. https://x.com/alexwei_/status/1946477745627934979?s=46&t=Hov...
4.
by aluminum96 1y ago
Why do people keep making up controversial claims like this? There is no evidence at all to this effect
5.
by aluminum96 1y ago
Mark Chen posted that the system was locked before the contest. [1] It would obviously be crazy cheating to give verifiers a solution to the problem! [1] https://x.com/markchen90/status/1946573740986257614?s=46&amp
6.
by aluminum96 1y ago
The proofs were published on GitHub for inspection, along with some details (generated within the time limit, by a system locked before the problems were released, with no external tools). https://github.com/aw31/openai
7.
by aluminum96 1y ago
The solutions were publicly posted to GitHub: https://github.com/aw31/openai-imo-2025-proofs/tree/main
8.
by aluminum96 2y ago
What, you mean your fruit preferences don't form a total order?
9.
by aluminum96 2y ago
Just vaporized a whole team so the roles can be moved overseas :(
10.
by aluminum96 2y ago
SF Voters rejected Proposition A in 2022 [1], which would have included funding to upgrade Muni's control systems (among many other projects). We'll eventually have to find the money somewhere else when the system fails. [1] http
11.
by aluminum96 3y ago
Google needs much stronger SVP-level product leadership. Directors and VPs should not be fighting for product turf, and major user-facing products, such as an entire default Android app in this case, need to outlast the tenure of any indivi
12.
by aluminum96 3y ago
Brace yourselves. The scale of capital investment coming from Meta, Google, and OpenAI/Microsoft is going to be historically mind-boggling.
13.
by aluminum96 3y ago
Ivy league schools need some high performers, in the sense that they mix admits for intelligence, wealth, diversity, athletic ability, and other factors. Clearly, many smart students attend Harvard. But so do donor kids. When you hire a H
14.
by aluminum96 3y ago
The mean goose avatar for the bot is perfect.
15.
by aluminum96 3y ago
> No one denied any Jewish claims Yes you did. You said Israel was created by "forcefully stealing land." The vast majority of Jewish migrants in the late 19th century bought the land. If you're talking about the 1949 war.
16.
by aluminum96 3y ago
Your scare quotes are super condescending, but yes, it truly is notoriously complicated. Thousands of books have been written on it, and millions of hours have been spent debating it. Denying that Jews have any legitimate claim to land in
17.
by aluminum96 3y ago
> Destroying Israel is different from killing Jews Israel exists because of the much-repeated global pogroms against Jews. The Mizrahi Jews fled Yemen, Morocco, and other Muslim countries because of antisemitic persecution. Beta Israel
18.
by aluminum96 3y ago
I'm going to nitpick your comment a bit, but this particular nit drives me crazy. The term "antisemitic" is well-understood in English to refer to hostility towards Jews. I know the root "-semitic" is in there. Yes,
19.
by aluminum96 3y ago
Israel is emphatically not a colony , and viewing it through the lens of colonialism will lead you astray. Jews have a legitimate and ancient claim to indigeneity in the Levant. (In fact, Chanukah is about Jews being persecuted and evicted
20.
by aluminum96 3y ago
You surely know that pasting a dictionary definition is condescending, but I'll take a swing anyway. Jews have a legitimate and ancient claim to indigeneity in the Levant. (In fact, this week's story of Chanukkah is about Jews bei
21.
by aluminum96 3y ago
Palestinian citizens are absolutely victims of this conflict. But there are also real Israelis who have real rockets hit their houses and businesses every couple of years. And it's been this way for decades! These people are absolutely
22.
by aluminum96 3y ago
The problem with asking Israel to unilaterally tolerate rocket attacks, invasions, and attempted annihilations, is that that have already been doing that for 70 years . The never-ending attacks are a huge part of the reason Israel's p
23.
by aluminum96 3y ago
> forcefully stealing land from the Palestinian people That is incredibly ahistorical, and in my honest opinion, "land theft" allegations are akin to a smear. The truth about the land's history is, of course, too complic
24.
by aluminum96 3y ago
Users should, of course, post on whatever threads they like. But I am implying that the OP's selection of publication serves one particular perspective, and readers should be aware of Al Jazeera's historical affiliation with that
25.
by aluminum96 3y ago
Just to be clear -- I'm not alleging that the quotes in the article are falsified or manipulated, as I have no evidence of that either. I think my most salient argument is that this selection of article is not conducive to a constructi
26.
by aluminum96 3y ago
Wow, thanks for responding dang! It's like a fleeting encounter with a celebrity. I see the HN policy, and understand it generally. But I am vocally lodging my objection in this particular case. To put a finer point on it: I don't
27.
by aluminum96 3y ago
I absolutely said something substantive. But I'll make it even more explicit: Al Jazeera has an untrustworthy track record, and their unverifiable primary-source reporting should not be assumed impartial. This is only the "genetic
28.
by aluminum96 3y ago
Absolutely agree. Civil online discourse about the I/P conflict is impossible, and at this point we're just beating a dead horse.
29.
by aluminum96 3y ago
Al Jazeera is an exceptionally disreputable source for coverage on this particular issue. It's not just their primary source of funding -- the Qatari state -- but also their abhorrent track record of running stories with no factual bas
30.
by aluminum96 3y ago
> but that doesn't matter to you, does it With this ad hominem attack, you are contributing toxicity, and it makes having a nuanced online discussion about Israel-Palestine impossible. The parent comment is lodging a factual, falsif

More ›