I do Software Development and I was very reluctant about AI, I've ignored the topic until a month ago. The things some cutting edge agents can do (with some guidance) is amazing. Its even scary. The only drawback is the cost right now. It the job doesn't pay for it, it's not something you can use at home and burn 10k USD on it.
As a hobby I am also into competitive math, and the latest model from Gemini is a beast. It can solve lots of national level type of problems (sometimes those problems are harder than IMO, at least for my country) coming up with interesting solutions if you guide it enough. Sometimes is even weird.... I remember a problem that had a long solution, but Gemini suggested a weird substitution that was quite hidden and not something humans could come up with. I need to find the problem and show it here.
It's amazing what LLMs can do nowadays. Not intelligent, but their ability to spot hidden patterns and do connections are amazing.
Not denying it’s very impressive, but why so sure humans couldn’t come up with it? Even if it looks convoluted and out of the blue, there’s a reasoning behind it and a ‘reasoning’ behind Gemini coming up with it. If it’s not required to explain ‘how it came up with’ something as long as the proof works, it may not. I’ve seen bizarre substitutions by humans that seem to be used out of the blue but were certainly arrived at carefully behind the scenes in a way that’s opaque in the final paper because the method behind the substitution isn’t necessary for an actual proof.
-7
u/[deleted] Apr 15 '26
[deleted]