So, these AI models have been pretty good at finding bugs and exploits in all sorts of code.
Not only that, they’ve managed to prove quite a bit of maths, from insignificant to quite significant.
Maybe one might doubt the significance of those findings, but for those that think there’s at least some merit to them, perhaps you’ll be interested in this one:
https://wilsoniumite.com/wp-content/uploads/2026/08/the_link_1.pdf