Post
Also, some people have the mistaken impression that AI agents aren't very capable, based on the shortcomings of AI models as recently as January. But capabilities have improved rapidly, and they are not slowing down In the mean time, I am going to keep experimenting and showing you results
1 repost18 likes
all AI code i've seen has been total garbage they don't know how to refactor and simplify they do quite the opposite
There are very specific use cases but it's not a broad brush. But moreover putting Rygar on the 800 is something an actual coder could do and actually gain experience, understanding, expertise and have fun in the process. They can figure out what doesn't work in the translation. a data center can't.
It only proves theorems when it steals someone else's work www.forbes.com/sites/sandyc...
That would be the same dispute in which the original blog post from Alpöge and Buckmaster explicitly enumerated the LLMs they used in the process, yes cims.nyu.edu/~tristanb/st... The question in dispute there is “did OAI illicitly access A&B’s work for their own gain”, not “can LLMs do maths”
proofsandprompts.com and the guest posts on Terry Tao’s blog showcase a wide range of opinions, from “I for one welcome our new AI overlords” to “shun anyone who collaborates with the thinking machines”, but “actually they’re *not* good at maths” is not one you will find among them
Agreed. It will get you a result that if outside your expertise will SEEM good. It can build you a 3D model but if you understand topology you'll see just how bad that model is. It can generate a video but if you're a professional editor you'll see the continuity issues. And at WILD ecological cost.