Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced

And this completely undercuts my point in my response to sibling comment

I think the prize for the most confusing naming is a tie between USB and WiFi standards.

I’m a human and i dont know the answer to that quesiton

Not even close to ChatGPT :/ Bard essentially ignores a good chunk of the prompt which is the most important (generating the anki formatted card that you can directly copy and paste).

"create an anki deck of the top 5 brazilian portuguese verbs and the top 5 tenses. The format should be like the one below (but adding one line for the 5th verb tense). An explanation of the tense and an example sentence should be included. Create the output so that I'm able to copy and paste it into a text file and import to anki

Ser - Presente do Indicativo Eu {{c1::sou}} Ele/Ela {{c1::é}} Nós {{c1::somos}} Eles/Elas {{c1::são}};explanation of tense and example sentence here; Ser - Pretérito Imperfeito do Indicativo Eu {{c1::era}} Ele/Ela {{c1::era}} Nós {{c1::éramos}} Eles/Elas {{c1::eram}};explanation of tense and example sentence here; Ser - Pretérito Perfeito do Indicativo Eu {{c1::fui}} Ele/Ela {{c1::foi}} Nós {{c1::fomos}} Eles/Elas {{c1::foram}};explanation of tense and example sentence here; Ser - Futuro do Indicativo Eu {{c1::serei}} Ele/Ela {{c1::será}} Nós {{c1::seremos}} Eles/Elas {{c1::serão}};explanation of tense and example sentence here;"

GPT 4 (abbreviated) Ser - Presente do Indicativo Eu {{c1::sou}} Ele/Ela {{c1::é}} Nós {{c1::somos}} Eles/Elas {{c1::são}};Used to express a current state. Example: "Eu sou estudante." (I am a student.); Ser - Pretérito Imperfeito do Indicativo Eu {{c1::era}} Ele/Ela {{c1::era}} Nós {{c1::éramos}} Eles/Elas {{c1::eram}};Used for ongoing or habitual actions in the past. Example: "Ele era professor." (He used to be a teacher.); Ser - Pretérito Perfeito do Indicativo Eu {{c1::fui}} Ele/Ela {{c1::foi}} Nós {{c1::fomos}} Eles/Elas {{c1::foram}};Used for actions completed in the past. Example: "Nós fomos amigos." (We were friends.); Ser - Futuro do Indicativo Eu {{c1::serei}} Ele/Ela {{c1::será}} Nós {{c1::seremos}} Eles/Elas {{c1::serão}};Expresses a future action or state. Example: "Ela será médica." (She will be a doctor.); Ser - Presente do Subjuntivo Que eu {{c1::seja}} Que ele/ela {{c1::seja}} Que nós {{c1::sejamos}} Que eles/elas {{c1::sejam}};Used for wishes, doubts, or hypotheticals. Example: "Espero que você seja feliz." (I hope you are happy.);

Bard (abbreviated)

Ser

Presente do Indicativo Eu sou Ele/Ela é Nós somos Eles/Elas são Explanation: The present tense is used to describe actions or states that are happening now. Example sentence: Eu sou estudante. (I am a student.)

If we want to test these beasts in logic, we should probably start using actual formalized logic, rather than English. In just one test, Gemini flopped hard, while GPT-4-Turbo nailed it. Here is my prompt:

    Below is a well-typed CoC function:

    foo
    : ∀(P: Nat -> *)
      ∀(s: ∀{n} -> ∀(x: (P n)) -> (P (n + 1)))
      ∀(z: (P 0))
      (P 3)
    = λP λs λz
      (s (s (s z)))

    Below is an incomplete CoC function:

    foo
    : ∀(P: Nat -> *)
      ∀(f: ∀{n} -> ∀(x: (P n)) -> (P (n * 3)))
      ∀(g: ∀{n} -> ∀(x: (P n)) -> (P (n * 2)))
      ∀(h: ∀{n} -> ∀(x: (P n)) -> (P (n + 5)))
      ∀(z: (P 1))
      (P 17)
    = λP λf λg λh λz
      {{FILL_HERE}}

    Complete it with the correct replacement for {{FILL_HERE}}.
    Your answer must contain only the correct answer, and nothing else.

- *GPT-4-Turbo answer:* `(f (g (h (g z))))` (correct)

- *Gemini Advanced answer:* `h (h (g (f z)))` (wrong)

Also, Gemini couldn't follow the "answer only with the solution" instruction and provided a bunch of hallucinated justifications. I think we have a winner... (screenshots: https://imgur.com/a/GotG0yF)