squf
4.2K posts




Vote democrat in the midterms. Destroy MAGA.



I think we are in the process of discovering that humans are bad at mathematics. A gibbon would scoff at an Olympic climber; the human body is not optimized for climbing. We're getting mounting evidence that our brain may be far from optimal for advanced math. No disrespect to mathematicians. I was a two-time IMO silver medalist; I'm just smart enough to appreciate that some people are much, much smarter. But it's starting to look like math is somewhere on the midpoint of Moravec’s paradox; between chess (computers surpassed us some time back) and cooking (probably many years to go, for general capabilities). It's fairly hard for us, and so it looks like computers are going to surpass us. AI math still has important weaknesses. For instance, AI systems have not yet shown any ability to identify interesting research directions, or develop new concepts on which further work can build. But they are starting to look superhuman in some respects. And once AI *starts* to become superhuman in some domain, we all know what happens next.














@eiszett Have you read all the sources you ever cited? During my PhD we, along with dozens of other papers, cited a paper that I later found did not contain the result for which it was commonly cited. I should be banned I guess.


Curious if people think this is an interesting test Two users ask Opus 4.7 to write a technical document that will be read by an expert. Leading up to the request, the users show different levels of sophistication. Opus 4.7 makes the sophisticated user's output more technical.




AI is not currently good enough to cause me to lose my job but i expect ive got maybe a year to figure out how to move up several abstraction layers some of which may not even exist yet this is going to get weird because idk how people starting careers will even begin















