# computational complexity — RSS Amplifier Recent posts from the 3 feeds in the RSS Amplifier directory that cover computational complexity. Page: Feed: --- ## [Why I Won’t Use Your Crappy Quantum Programming Language (Or Mine Either)](https://tjoresearchnotes.wordpress.com/2026/08/15/why-i-wont-use-your-crappy-quantum-programming-language-or-mine-either/) _2026-08-15 · tobiasosborne · Tobias J. Osborne's research notes_ I learned the fundamentals of quantum information and computing from Michael Nielsen in 2002. I have actively kept pace with the field for over twenty years since then by publishing, teaching, supervising, consulting, and building. During this time I have never, not even once, been tempted to use a quantum programming language. The language of \[…\] ## [Reaping without sowing](https://tjoresearchnotes.wordpress.com/2026/08/02/reaping-without-sowing/) _2026-08-02 · tobiasosborne · Tobias J. Osborne's research notes_ If you are at all connected with academic circles it would have been hard to miss the announcement: OpenAI has just published Ten advances in mathematics, ten results in mathematics and theoretical computer science, author listed simply as “OpenAI”, accompanied by Lean certificates on GitHub, and, per Noam Brown, a token bill of under $2K \[…\] ## [Proof inflation](https://tjoresearchnotes.wordpress.com/2026/07/28/proof-inflation/) _2026-07-28 · tobiasosborne · Tobias J. Osborne's research notes_ I have been thinking a lot about how social dynamics are going to shift in the new era of cognitive abundance. I don’t pretend to have any kind of crystal ball, but there are numerous historical precedents for what happens when you provide a new resource practically for free. A bit less superficially, the study \[…\] ## [Conjecture sniping](https://tjoresearchnotes.wordpress.com/2026/07/20/conjecture-sniping/) _2026-07-20 · tobiasosborne · Tobias J. Osborne's research notes_ There has been a bit of excitement recently as LLMs have been delivering consequential results in mathematics. First the headline result in May that the unit distance conjecture had been refuted, and just now Fable was prompted into apparently disproving the Jacobian conjecture. During the World Cup final. In a tweet. Erdős conjectures have become \[…\] ## [Software was never the bottleneck. Distribution was always the problem!](https://wesammikhail.com/2026/07/07/software-was-never-the-bottleneck-distribution-was-always-the-problem/) _2026-07-07 · Wesam Mikhail · THE CONTRARIAN IMPULSE_ A lot of people bought into the whole AI aided solopreneurship after Altman and Dario promised everyone the end of capitalism as we know it. Continue reading ## [Why LLMs Fail at Mathematics and Physics Research (And What To Do About It)](https://tjoresearchnotes.wordpress.com/2026/01/15/why-llms-fail-at-mathematics-and-physics-research-and-what-to-do-about-it/) _2026-01-15 · tobiasosborne · Tobias J. Osborne's research notes_ I recently had an enlightening conversation with Rob May and Yash Sharma of NeuroMetric.ai about adversarial verification protocols. Their insightful questions forced me to crystallise something I’d been circling for a while: why frontier models perform so much better at undergraduate mathematics than research-level work. (I assure you, the only “PhD smarts” they have is \[…\] ## [The Real AI Problem Isn’t the One You’re Being Sold](https://tjoresearchnotes.wordpress.com/2026/01/12/the-real-ai-problem-isnt-the-one-youre-being-sold/) _2026-01-12 · tobiasosborne · Tobias J. Osborne's research notes_ I am extremely conflicted about the current state of AI technology: I am not a breathless convert to the AI revolution. I have resisted and remained deeply skeptical of AI tools and LLMs for years. If you’ve read my other posts, you might have the impression I’m uncritically enthusiastic about this technology. In narrow, specific \[…\] ## [The Adversarial Prover: A Skeptic’s Approach to LLM-Assisted Mathematics](https://tjoresearchnotes.wordpress.com/2026/01/02/the-adversarial-prover-a-skeptics-approach-to-llm-assisted-mathematics/) _2026-01-02 · tobiasosborne · Tobias J. Osborne's research notes_ Frontier large language models from, e.g., OpenAI and Anthropic are completely reorganising the landscape of knowledge work. Indeed, higher education will not escape: the daily evolving arms race between assessment design and chatbot use is in full swing. You can bet I have a lot to say about this, but that is for another day. \[…\] ## [Dealing with Large/Bigint in PHP + JS](https://wesammikhail.com/2025/03/03/dealing-with-large-bigint-in-php-js/) _2025-03-03 · Wesam Mikhail · THE CONTRARIAN IMPULSE_ A client of mine has an API that returns a large 64bit integer as public IDs for database records that is consumed by a simple Continue reading ## [Crypto Payments, No Custody (Sponsored)](https://crawlproof.com/a/gK4XVcZ3OzuX) _2025-03-03 · **Sponsored**_ Send crypto to merchant wallets via API with real-time updates and automatic fees. ## [Launching JSONREPO – A new SEO Research Automation Tool](https://wesammikhail.com/2024/11/09/launching-jsonrepo-a-new-seo-research-automation-tool/) _2024-11-09 · Wesam Mikhail · THE CONTRARIAN IMPULSE_ The official launch of JSONREPO is here! I recently spent some time building a new SEO automation tool for keyword research. The development process was Continue reading