@bzogrammer You’re right that the map is not the territory, and solvers beat theory on many instances. But the theoretical scaffolding exists for excellent reason. Don’t burn it down just because some autodidacts trip over it.
@DanielRaisbeck ¿Puede un hombre pedir que un profesor que gana 14 millones adicionales por su “hoja de vida” produzca resultados reales para no ser los últimos en la OCDE sin ser llamado un nazi? Es todo lo que pido, Colombia.
@BostonTea84 Both might have a point. The black guy was angry and the other was British. After all, Brits and another group are notoriously famous for getting forcibly kicked out of other people’s countries.
@DanielRaisbeck Que en Barranquilla cerca al aeropuerto tienen el mejor mote del mundo, dicen. Va uno a ver y termina preguntando si no le hacen un ajiaco a uno.
@peligrietzer Yeah, it checks that comment. Before Rota, people thought combinatorics was just a bag of math tricks. Reality is, as Gelfand said, at the root of every hard open problem lies a more fundamental combinatorics problem that someone will solve by not using combinatorics.
@WKCosmo Academia’s real issue isn’t dogma, it’s survival. Newton did chores for rich students. Euler bounced between empires, often undervalued.
Since forever, small/poor unis can’t afford fundamental research (a luxury). They do incremental work that pays or risk being ignored or starve
@ptrschmdtnlsn This happens in programming too. Better programmers get better results and fewer wrong ends. So getting a lot of overconfident garbage is on the person asking.
https://t.co/Nag7bXIjYu
Everyone’s talking about OAI’s new progress on the Erdős unit distance problem, I used standard GPT-5.5 to reproduce the proof ~ 👇
https://t.co/8uKw1OXN0q
Apparently Erdős offered a $1,000 bounty for it… which means my 5.5 Pro subscription might actually pay for itself ~
@Anthony_Bonato The answer to this already comes from chess. Even a potato can run a version of Stockfish that can at least tie with Nakamura or Carlsen, yet people still play chess honestly. Use AI as a teacher, adversary (not great at it at the moment), and teammate. Improve, don’t hide.
@IssamJp@radiologistpage Didn’t the guy just said he got a ct scan and that’s how they found he had kidney cancer. Saying is a cost/benefit situation with ct scans?
@Pomplun@Rational_Psych No, data doesn’t support that. Surgeons average ~123–132 IQ with far longer, more competitive training (10–15+ years) vs. electrical/aerospace engineers (~110–120 IQ, 4–6 years); medicine shows stronger average cognitive selection. I do combinatorics research, and am an MD.
@trq212@ClaudeDevs Not quite. There’s a reason we don’t use MyST or XML that are far more powerful than HTML. That is the excessive freedom and complexity introduces noise. This structuring mark down and json as a better options.
@SteveBellovin Never could I forget about this. Was too ignorant to help solve it. Turns out the issue was never the editor or a plugin; it was completely solvable in 2018 with maybe an afternoon of macro-writing. about 30 lines of *.sty.
https://t.co/NCfF8vvAnQ
@MushtaqBilalPhD Her solo grind advanced science more than a whole department. The system's twisted, playin' scholars for fools. Beggin' for grants to buy time and read your own work is straight blasphemy. DeScience is the new wave to break all the rules
@NotebookLM I'd buy Anki and integrate the two. Instead of cold room engineering, Anki already has a cult following. Keep them separated but let them speak natively to each other, and now you're golden.