thatguysaguy
Joined 3 years ago
Karma
453
Submissions
124
Member since
May 23
Joined 3 years ago
For example it's extremely easy to prove there is no square with diagonals of different lengths. I'm the hard end, Andrew Wiles proved Fermat's Last Theorem which expresses a negative.
That's just a nit though, you're right about the infinite regress problem.
The real question is whether someone who is pseudonymous and actually attempting to remain so can be deanonymized.
(*Disclaimer: I work for Google, but also I have zero idea about what they trained deepthink on)
> built for sovereign mission-critical work in regulated areas including public administration, industrials and aerospace
Cool to be doing more independent model lineages, but I sure hope no one actually uses this as part of any aerospace engineering...