@VictorTaelin@GiulioRebuffo May be a noob question but how performant can an LLM be writing in Bend when there isn't a gigantic corpus of real-world bend software for it to pattern match from?
@KevinSVanHorn@Rabadash2 I've got a cool idea why don't you just ask AI "have the clay institute declared the Navier Stokes millennium prize problem solved" and then come straight back here? If you're comfortable with doing so you can admit that your info is just simply wrong too.
@KevinSVanHorn@Rabadash2 No it didn't. It found a formalisation for a solution by synthesising work from other mathematicians working on the problem (without their consent) into one solution and didn't address the question the prize posited which is hence why clay institute haven't declared it solved.
@UrbigEra@ITKSpace@iMiaSanMia 6 time winners European royalty of Britain lad won it more recently than anyone else there too. We will win it before your team gets a sniff.