5 ms·
Why are you entitled to receiving constructive feedback on "your" project when you couldn't be bothered to write the project yourself in the first place? If yo
by bakugo 8mo ago
Why are you entitled to receiving constructive feedback on "your" project when you couldn't be bothered to write the project yourself in the first place?
If you want "feedback" of the same quality and effort as the project itself, you can always go ask your beloved AI for feedback instead of wasting precious human time.
- ratsimihah 8mo agoWould you dismiss solutions to mathematical problems solved by AI? If I’m driving an AI towards finding a solution, would it be any different for a software project?
- spzb 8mo agoMathematical proof vs a web app that doesn't actually run? Not much of a contest. Never mind the fact that AIs of the LLM-variety haven't and aren't going to find solutions to mathematical problems.
- ratsimihah 8mo agoYou got really specific to help prove your point. We were generalising to projects built by AI, not web apps that don’t run, which isn’t relevant since LLMs can clearly build fully working projects. Also how does getting into the specifics of which type of AI can solve mathematical problems helps the comparison here?
- spzb 8mo agoYou were the one who made the comparison
- sdoering 8mo ago> Never mind the fact that AIs of the LLM-variety haven't and aren't going to find solutions to mathematical problems. This is empirically wrong as of early 2026. Since Christmas 2025, 15 Erdos problems have been moved from "open" to "solved" on erdosproblems.com, 11 of them crediting AI models. Problems #397, #728, and #729 were solved by GPT-5.2 Pro generating original arguments (not literature lookups), formalized in Lean, and verified by Terence Tao himself. Problem #1026 was solved more or less autonomously by Harmonic's Aristotle model in Lean. At IMO 2025, three separate systems (Gemini Deep Think, an OpenAI system, and Aristotle) independently achieved gold-medal performance, solving 5 of 6 problems. DeepSeek-Prover-V2 hits 88.9% on MiniF2F-test. Top models solve 40% of postdoc-level problems on FrontierMath, up from 2%. Tao's own assessment as of March 2026: AI is "ready for primetime" in math and theoretical physics because it "saves more time than it wastes." You can disagree about where this is heading, but "haven't and aren't going to" doesn't survive contact with the data.
- fredoliveira 8mo agoIndeed. And adding on to this, in a slightly different realm, Donald Knuth's conjecture that he solved with Claude: https://www-cs-faculty.stanford.edu/%7Eknuth/papers/claude-cycles.pdf https://www-cs-faculty.stanford.edu/%7Eknuth/papers/claude-c...
- spzb 8mo ago> solved more or less autonomously So, not autonomously.
- sdoering 8mo agoq.e.d.
- enraged_camel 8mo agoMan, the overwhelming majority of your comments over the past several months are you whining about AI or being extremely salty about anything remotely AI related. You bash AI content, people who use AI to make cool stuff, AI companies, people who say anything positive about said companies... I really wonder what exactly you think your negative attitude contributes to these discussions.
- monkaiju 8mo agoI think it contributes to a general pushback against AI, which some of us appreciate...
- bakugo 8mo agoIt contributes far more than yet another low effort AI-generated Show HN on top of the dozens already submitted every day. If you think you made "cool stuff" with AI, great, enjoy it, but also please keep it to yourself because anyone else can generate the exact same thing if they want it, you are not special, and are actively downing out real human effort and passion.
- enraged_camel 8mo agoHow is that any different than your incessant whinings drowning out real human discussion?