Gemini Ultra seems better on logic than GPT4. Still messing around testing but here's a prompt Ultra nailed but GPT4 completely botched: Tabitha likes cookies but not cake. She likes mutton but not lamb, and she likes okra but not squash. Following the same rule, will she like cherries or pears https://i.imgur.com/KW6gQbc.jpeg https://i.imgur.com/OSHSvLp.png
Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
271–280 of 1001 posts
Re: Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
#272Re: Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
#273I would be willing to pay for an AI that it's not constantly worrying about my safety and ethics, it's very frustrating that even when I ask for tech related topics, Gemini it's holding information on the basis of actions that might cause harm to my devices.
Re: Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
#274The different prompting strategies needed to improve results for different models is fascinating. I usually tell ChatGPT the role it should play to get better results e.g. "You are an expert in distributed systems". The same approach with Gemini returned "as a large language model constantly learning, I wouldn't call myself an expert."
Re: Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
#275can't even use it in Canada lol Google says it's because of "regulatory uncertainty", but I can use GPT just fine...Is it because OpenAI doesn't care and thinks they can navigate any "regulatory uncertainty" because they have Microsoft backing them? Wouldn't Google also have the same kind of resources?
Gemini works in Canada as of today. Bard was not available in Canada anytime I tried it previously. Maybe the "regulatory uncertainty" was recently resolved [1]. [1] https://g.co/gemini/share/9bde4caabf2c
Re: Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
#276Earlier quoted context omitted.
My God, this page is straight from the 90s! Nostalgic.
I'm actually shocked it has the modern Google logo, because everything else about it is a straight-up time capsule -- you're right!
Edit: no it's black history month... Kinda strange
Re: Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
#277Prediction: they get to 6-7 digit number of paying customers, decide it is peanuts for them (~$20M/mo) and instead decide to push the free version with ads with full force as the future of search.
Re: Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
#278Does it need a US credit card? A US IP address? A Google account with a US phone? A Google account created from a US IP address? Some other way of tying the Google account to a country?
Re: Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
#279Re: Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
#280Gemini Ultra seems better on logic than GPT4. Still messing around testing but here's a prompt Ultra nailed but GPT4 completely botched: Tabitha likes cookies but not cake. She likes mutton but not lamb, and she likes okra but not squash. Following the same rule, will she like cherries or pears https://i.imgur.com/KW6gQbc.jpeg https://i.imgur.com/OSHSvLp.png
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} -> ∀(…