AI models for maths

[feral pollen]

I’m looking for free AI models for solving complex maths problems (in group theory, algebraic topology, etc). What would you recommend?

[lethal depot]

The times I've experimented with things, none have been remotely competent. This was my most recent attempt: #off-topic message

I recommend just learning the mathematics yourself, the way people have done for hundreds of years.

[feral pollen]

I know but most of the mathematicians nowadays have to use the AIs to find counter examples or check for mistakes

[lethal depot]

This is false. I do not know any mathematicians who use AI for this purpose, and I know a fairly large number of research mathematicians.

[feral pollen]

very interesting

i mean even those who are from the older generation use it sometimes

[lethal depot]

Old people are more likely to use it than young people, still anecdotally.

[weak schooner]

No? I work at an institute and we only use it to generate code sometimes and that's it

[feral pollen]

what kind of code?

[weak schooner]

Implementation of SPH-approximations to research their behaviour and what not

[feral pollen]

maybe it depends on the branch of maths they are working on. AIs are good at proving theorems so it’s easy to use them

they usually check if their idea (if it’s simple enough) works or not

[weak schooner]

AIs are good at proving theorems
Are they? I've heard of a couple of times they solved an open problem, but I haven't heard of them being used for proper research

[lethal depot]

Even then, I feel like press releases are dishonest about how much human involvement there was. It's almost always people with financial interests in people believing AI is smart who are telling you that AI is smart.

[feral pollen]

free AIs can’t solve the serious open problems but they can answer some simple questions

[weak schooner]

I can also answer simple questions

[feral pollen]

and find counter examples

[feral pollen]

they do it much faster anyway

[weak schooner]

Mmmm

[lethal depot]

Not reliably. See the discussion that I gave the link to a while ago.

[feral pollen]

i didn’t say that you don’t need to check after them

[lethal depot]

For a simple exercise like that, the amount of time that it takes to read through line-by-line to make sure that there are no glaring errors like "the set difference of a closed set from a closed set" is about as long as it takes to just solve the bloody problem.

A bit longer, if the AI just goes on and on about random crap for part of the time.

[feral pollen]

the main purpose of AIs is to give you the idea of how to solve something

[lethal depot]

There's a hundred other ways to find ideas and inspiration.

It may be useful for some people, but if that is all that it does, it is far from necessary.

[torpid solar]

can you?