alt Hacker NewsWould 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?
Would 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?
Mathematical 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.