@SmartmanApps @GhostOnTheHalfShell @cabel do you genuinely think calculators could do anything at the imo or prove theorems in research lol

@SmartmanApps @GhostOnTheHalfShell @cabel half of these are outdated and the other half is reasonable, but its kind of the nature of nondeterminism that its gonna be stupid sometimes. still theres some concerningly good results too and its just a bad angle to attack the actual issues from

@SmartmanApps @GhostOnTheHalfShell @cabel but it kind of does? i mean theres mathematicians acknowledging its generating some pretty decent proofs of previously unsolved stuff and so forth. i dont see why people are always clinging to these by now obviously false claims of inaptitude when the issues are much more standard capitalism type