sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Server stats:

596
active users

I gave my geometry students some ChatGPT-generated "proofs" this week to review. There were several examples, each designed to illustrate a different point. One was a "proof" that the diagonals of a rectangle are congruent, which contained several errors. I was proud that several students immediately identified how dangerous it was: "It sounds like it is correct, until you look more closely at it."

@phonner I'm seeing if Google's Bard/Gemini tool can do basic mathematics and OH MY GOD it's not good. Textbook quadratic ok, anything else... Well...

@hutchingsmusic @phonner Note that is PaLM2, Google's old language model, not Gemini. Hopefully Gemini will be better once it's actually available.

@tewalds @phonner it was advertised as being Gemini in my email from Google.

Timo Ewalds

@hutchingsmusic @phonner Your screenshot says it's PaLM2. Maybe it's not launched where you live?