Viewing profile — aluminum96

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…

“they must be lying because I personally dislike them” This is why HN threads about AI have become exhausting to read

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...

Why do people keep making up controversial claims like this? There is no evidence at all to this effect

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/s…

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…

The solutions were publicly posted to GitHub: https://github.com/aw31/openai-imo-2025-proofs/tree/main

What, you mean your fruit preferences don't form a total order?

Just vaporized a whole team so the roles can be moved overseas :(

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 mon…

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 Androi…

Brace yourselves. The scale of capital investment coming from Meta, Google, and OpenAI/Microsoft is going to be historically mind-boggling.

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 studen…

The mean goose avatar for the bot is perfect.

> 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 l…

[flagged]

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 …

> 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 co…

[flagged]

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 th…

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. (I…

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…

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…

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-e…

> 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 l…