This is a response to https://www.lesswrong.com/posts/mXa66dPR8hmHgndP5/hyperbolic-trend-with-upcoming-singularity-fits-metr which claims that a hyperbolic model, complete with an actual singularity in the near future, is a better fit for the METR time-horizon data than a simple exponential model. I think that post has a serious error in it and its conclusions are the...
Google DeepMind reports on a system for solving mathematical problems that allegedly is able to give complete solutions to four of the six problems on the 2024 IMO, putting it near the top of the silver-medal category. Well, actually, two systems for solving mathematical problems: AlphaProof, which is more general-purpose,...
[Epistemic status: underinformed musings; I am posting this not because I am sure of anything in it but because the point seems important and I don't recall seeing anyone else make it. Maybe that's because it's wrong.] A common analogy for the relationship between postulated superhumanly-smart AIs and humans is...
Background Duncan Sabien wrote a list of proposed "basics of rational discourse" guidelines. Zack M Davis disagrees with (his interpretation of) one of the guidelines. I think the question is interesting and don't feel that those two posts and their comments resolve it. (Spoiler: I largely agree with Duncan on...
There's a nice recent paper whose authors did the following: 1. train a small GPT model on lists of moves from Othello games; 2. verify that it seems to have learned (in some sense) to play Othello, at least to the extent of almost always making legal moves; 3. use...
What probability do you assign to the following propositions? * "Human activity has caused substantial increases in global mean surface temperature over the last 50 years and barring major policy changes will continue to do so over at least the next 50 years -- say, at least half a kelvin...