I’ve been trying to use Sol to resolve an open mathematics conjecture; since now even the publicly available models are very good at this kind of thing. (See, eg the recent disproof of the Jacobian conjecture, though I began my efforts before that.)
Unfortunately, it seems that I have screwed up and picked a conjecture that happens to actually be true.
I’ve been trying to use Sol to resolve an open mathematics conjecture; since now even the publicly available models are very good at this kind of thing. (See, eg the recent disproof of the Jacobian conjecture, though I began my efforts before that.)
Unfortunately, it seems that I have screwed up and picked a conjecture that happens to actually be true.