jeremysalwen

5 ms·

1.
by jeremysalwen 24d ago
I agree that the declaration doesn't focus on credit, but I think it's still at the root of the problem. Because ask yourself: if the AI generated proofs are not creating any new ideas or insight, just brute forcing a boolean true
2.
by jeremysalwen 24d ago
To me it doesn't seem like what AI has destroyed is the ability for mathematicians to develop understanding and share it with each other, but rather it's destroyed the yardstick (solving open problems) that has traditionally been
3.
by jeremysalwen 1mo ago
Sorry, by harder I meant for the same number of faces. E.g. the article is about 5 60 sided dice, which was a breakthrough, but there are other known solution where all the dice are less than 60 sided, but they are unequally sized.
4.
by jeremysalwen 1mo ago
The key part is that they have to be fair when any subset of the dice is rolled together, not just when all five are rolled. Also if the dice are allowed to be different sizes then it's easier as well.
5.
by jeremysalwen 2mo ago
Just going to add my commentary as someone who has trained LLMs and understands them deeply: absolutely nothing he has posted in this thread suggests he lacks any relevant understanding of how LLMs work. If you disagree, you should point ou
6.
by jeremysalwen 2mo ago
I had a similar thought when I did a file by file review of a large codebase for bugs, and Claude commented at the end "the worst file was foo.cpp", which happened to be one of only a few files I hadn't mostly written myself.
7.
by jeremysalwen 3mo ago
What is a meal though? Do you get the same volume of food from all vendors, and the same number of calories? I definitely order multiple items from restaurants that have small portion sizes, so I suspect some vendors would be better or wo
8.
by jeremysalwen 3mo ago
I am surprised nobody links this blog post demonstrating that the paper's conclusion is not true (even for gpt3.5): https://andrewmayne.com/2023/11/14/is-the-reversal-curse-rea... It seems like restrict
9.
by jeremysalwen 4mo ago
Wages could go up, it's just in the form of trillionare paying another trillionare a trillion dollars a day. GDP would be looking rosy!
10.
by jeremysalwen 4mo ago
I don't see why having ASI would make the top 0.001% less interested in using the energy, minerals, and land on earth. Just because they have no interest in your labor doesn't mean they have no interest your house or your energy
11.
by jeremysalwen 4mo ago
That sounds like more training data that the human is just regurgitating. Nobody I know has ever had an original thought, just combined existing thoughts that were in their training data, in new combinations.
12.
by jeremysalwen 5mo ago
Is the legal precedent they are ignoring only 36 years old? No? I guess that makes us talking about case law older than 36 years then. (As we all know, laws less than 40 years old are option to follow anyways).
13.
by jeremysalwen 5mo ago
I don't like saying "oh this is AI generated" because of exactly this scenario, where maybe there is care behind it and you just used AI to help you write. The problem is that as a reader I have no way to tell, and aillI hav
14.
by jeremysalwen 5mo ago
I looked into open source sensor fusion libraries for open mower, it seemed like the WOLF framework was very promising as a pluggable sensor fusion system. http://mobile_robotics.pages.iri.upc-csic.es/wolf_projects/w..
15.
by jeremysalwen 6mo ago
Against Malaria Foundation | Senior Software Engineer | Remote (UK) | Full Time The AMF works to fight malaria in an extremely cost effective way with insecticide treated bed-nets. Every year hundreds of millions of people will be infected
16.
by jeremysalwen 6mo ago
Just because you state your opinion confidently, does not mean you are correct. For example, as of 2024, there are 30 billion kilograms of proven reserves of lithium, more than enough to replace every single one of the 1.5 billion ICE cars
17.
by jeremysalwen 7mo ago
I'm suspicious of the theorem proving example. I thought Z3 could fail to return sat or unsat, but he is assuming that if it's not sat the theorem must be proven
18.
by jeremysalwen 8mo ago
Does anyone know of a board state that doesn't involve arbitrary actions, but a specific finite setup, which would nonetheless require the solution of an unsolved conjecture in order to resolve who wins? I am thinking of an example lik
19.
by jeremysalwen 8mo ago
I'm not sure I agree. I think just having wings that flex a bit is mechanically simpler than having an additional rotating propellor. After all, rotating axles are so hard to evolve they never almost never show up in nature at a macr
20.
by jeremysalwen 9mo ago
As someone who implemented some RL algorithms and applied them to a real world game, (including all the ones mentioned in the article), I would be surprised if the implementation is not buggy. That is one of the most striking things about
21.
by jeremysalwen 9mo ago
Double entry book keeping is just recording the "edge" in two places, once based on the source node, and once based on the target node. So you have a nice list of all edges coming from each node and a nice list of all edges going
22.
by jeremysalwen 10mo ago
Admittedly not a statistician, but I think the article is missing the point. The reason why people circle the P values is because nobody actually cares about the thing the p-value is measuring. What they actually care about is whether the
23.
by jeremysalwen 10mo ago
Did anyone else think there were several transitions that seemed like pure GPTisms? > This isn’t innovation—it’s institutional auto-cannibalism. The new mission statement? Optimization.
24.
by jeremysalwen 10mo ago
To be honest I feel like I have seen much better expositions of zero knowledge proofs. The playing cards example is nice in some ways, but people are often exposed to trickery regarding playing cards. The recipient of the proof needs to v
25.
by jeremysalwen 11mo ago
Make it throw an exception with an index out of bounds to terminate the loop.
26.
by jeremysalwen 1y ago
Once you have some experience, phrases like this are a dead giveaway: "and honestly? It’s incredible to watch". Also 30 em dashes in almost as few sentences.
27.
by jeremysalwen 1y ago
Do you have a link to your codes letter available online?
28.
by jeremysalwen 1y ago
It's weird to bring it up in response to an article about the US falling behind authorities china and how that's bad. Unless you think we can't improve our energy infrastructure in the USA without using child labor too?
29.
by jeremysalwen 1y ago
China is installing solar capacity at three times the rate of coal. What exactly is your point? There's no "wonders of china", just the fact that we are falling further behind because of dumb policy which is justified by non
30.
by jeremysalwen 1y ago
It does not have obstacle avoidance, the best it has is recognizing it keeps getting stuck and skipping the next goal until it finds a goal it can reach. This can often look like obstacle avoidance since the next goal might be in a slightl

More ›