okintheory

7 ms·

1.
by okintheory 5mo ago
This was clearly written by someone with too little exposure to history and (comparably) too much to academic economics. No one else could think Coase belongs on such a list and forget Orsted/Faraday/Maxwell (initially...). And if
2.
by okintheory 7mo ago
How could any European govt use MS after Trump ordered MS to sanction an ICC prosecutor and MS complied? I imagine they're all trying to walk away
3.
by okintheory 7mo ago
I don't think that's a great example. If Kahneman claimed not to be susceptible, it would have greatly undermined his claims about the universality of these phenomena: many other people would presumably also not be susceptible.
4.
by okintheory 7mo ago
I settle this question for myself every month: I try asking ChatGPT and Gemini for help, but in my domains it fails miserably at anything that looks new. But, YMMV, that's just the experience of one professional mathematician.
5.
by okintheory 7mo ago
I think you're misunderstanding the point this paper is trying to make. They're interested in trying to distinguish whether AI is capable of solving new math problems or only capable of identifying existing solutions in the litera
6.
by okintheory 1y ago
You're wrong. The mistake could have been unfixable. That happens quite frequently (see: countless retracted claimed proofs of major results by professional mathematicians).
7.
Assessing GPT Performance in a Proof-Based University-Level Course(arxiv.org)
4 points by okintheory 1y ago|0 comments
8.
by okintheory 2y ago
The thought police already arrived, see Columbia grant cancellations and Mahmoud Khalil [1]. [1] "Khalil is a “threat to the foreign policy and national security interests of the United States,” said the official, noting that this calc
9.
by okintheory 2y ago
I also can't tell whether Stanford is joking, but the notion that he's a good fit for the job of biology professor is definitely funny!
10.
by okintheory 2y ago
It's nice to live in a world where actions have consequences. When the media coverage got too much, Marc Tessier-Lavigne finally had to resign as president of Stanford, so he could focus on his job as a Stanford professor.
11.
by okintheory 2y ago
Interestingly, the asymptotically fastest known algorithm for minimum weight bipartite matching [A] uses an interior point method, which means it's also doing Riemannian optimization in some sense. [A] https://www.quantamaga
12.
by okintheory 2y ago
It's right there, in the press release: >>> Jonathan Friedman, Sy Syms director of PEN America’s U.S. Free Expression programs, said: “The irony cannot be lost here: government officials have used their positions to muscle out
13.
by okintheory 2y ago
Ah yes, Minority Report, that story we're so eager to repeat.
14.
by okintheory 2y ago
But, the starting point of Neural Networks in the ML/AI sense, is cybernetics + Rosenblatt's perceptron, research done mathematicians (who became early computer scientists)
15.
by okintheory 2y ago
Absolutely. This makes very little sense, IMO, and is a bad look for the committee, trying to claim 'physics' for something that clearly is not.
16.
by okintheory 2y ago
These problems are literally already solved? Of course, the IMO problem designers make sure the problems have solutions before the use them. That's very different than math research, where it's not known in advance what the answer
17.
by okintheory 2y ago
Interestingly, the same guy also works on making 'theory-only' algorithms work well in practice [1]. But, it seems like that takes another 20 years -- [1] is building on a theory breakthrough from 2004 [2], but these algorithms ar
18.
by okintheory 2y ago
I'm not arguing that X/Twitter is doing something that prevents it from being protected by section 230 as it exists. But, when Congress granted these protections, I think they had in mind things like forum moderation to remove hat
19.
by okintheory 2y ago
When Ken Klippenstein obtained footage of an FSD Tesla causing a major accident [1] and wrote about it, he got blocked from being found through X/Twitter search [2]. I remember verifying the search block on my phone at the time. If I w
20.
by okintheory 3y ago
When was mainstream media not advertising driven? When was media not beholden to corporate interests?
21.
by okintheory 3y ago
Also, just to add, 'quantumalgorithmszoo.org' is quite out of date: For example, they claim a polynomial speed-up for network flow, but that's based on the SOTA in 2007. These days, there's an almost-linear time classica
22.
by okintheory 3y ago
You should be very skeptical of all those applications except Shor. HHL: Here's a quote from Ewin Tang [1]: "We know that quantum computers can “efficiently solve” high-dimensional linear algebra problems; however, this assumes th
23.
by okintheory 3y ago
There are lots of problems for which algorithms (with no data/learning required) are trivially superhuman, in the sense that they perform tasks no human could hope to do. AlphaFold is not 'only' an algorithm, as it also needs
24.
by okintheory 3y ago
I didn't read your comment as a defense, only as an explanation. And as an explanation, you're right: The pressure is getting to way too many people. But how can you fix it? I'm afraid good answers need very deep change. Soci
25.
by okintheory 3y ago
Very glad to see this. The Stanford Daily did a great job reporting this. Reposting a comment that I found instructive from the discussion on this piece [1]. About the Genentech report [2] which made MTL look very very bad. ``` APersonWhoCa
26.
by okintheory 3y ago
What does it count as to follow a bunch of racist tweeters? Are you saying it's not indicative of anything?
27.
by okintheory 3y ago
I didn't exactly claim that he said something objectionable. I did accuse him of broadcasting white supremacist tendencies by his follows. You're free to interpret the significance of these follows differently. I personally would
28.
by okintheory 3y ago
I've never noticed him following any of the left-leaning accounts I know, and I've had tons of far right stuff that he follows recommended to me by Twitter after following him, so it seems like he's leaning one way.
29.
by okintheory 3y ago
Fair point, added.
30.
by okintheory 3y ago
> Can you go into more details about that? Who exactly are the "creepy ones" he's following on Twitter? A while ago, someone wrote an article on it: https://theoutline.com/post/6708/marc-andreesse

More ›