to be clear a computer can solve all geometry problems very easily
I don't think automated theorem provers are THAT good
― what you say is true but by no means (lukas), Friday, 19 January 2024 04:54 (one year ago)
theyre just geometry problems right were not talking pure math here
― lag∞n, Friday, 19 January 2024 04:55 (one year ago)
it's geometry problems but it's not like "find the area of the triangle", it's doing proofs
https://lh3.googleusercontent.com/XEyvy2yOfpwazku1bh2mgN48QquA21bUXscAAYOSp34kN-qb1E6glno62gNSqSth921OVJ5nBBT8GNFiVg1nwv3U2jd3vo6YCFENsn3qBD9yQZsD=w1232-rw
― what you say is true but by no means (lukas), Friday, 19 January 2024 04:58 (one year ago)
i mean i dont know how to do that so i cant really say but i suspect in this case they used the more traditional symbolic deduction engine that performs algebraic and geometric reasoning for it
― lag∞n, Friday, 19 January 2024 05:04 (one year ago)
they used both, they started with normal symbolic stuff, and then if it got stuck it would ask the LLM and the LLM would say "try putting a midpoint here" and then the symbolic engine would try again. because LLMs are good at "this looks like these other problems", so it would have good guesses, but they're not so good at logic, so the two systems complement each other well.
― what you say is true but by no means (lukas), Friday, 19 January 2024 05:19 (one year ago)
A system developed by Google’s DeepMind has set a new record for AI performance on geometry problems.
i mean part of the problem here is ai doesnt mean anything but theyre scamming, defaming those kids
― lag∞n, Friday, 19 January 2024 05:25 (one year ago)
It's astonishing that these things are being deployed in customer service in their current state
Parcel delivery firm DPD have replaced their customer service chat with an AI robot thing. It’s utterly useless at answering any queries, and when asked, it happily produced a poem about how terrible they are as a company. It also swore at me. 😂 pic.twitter.com/vjWlrIP3wn— Ashley Beauchamp (@ashbeauchamp) January 18, 2024
― Alba, Friday, 19 January 2024 12:50 (one year ago)
haha
― Ste, Friday, 19 January 2024 12:52 (one year ago)
"It's astonishing that these things are being deployed in customer service in their current state"
It's totally how managers think. Anything to get cost out. They'll get a bonus for this change and then move on to another company by the time the thing blows up.
― xyzzzz__, Friday, 19 January 2024 14:07 (one year ago)
Though, I'm not sure this is any less useless than the pre-LLM customer service bots. At least this one is moderately entertaining
― Alba, Friday, 19 January 2024 14:12 (one year ago)
last time i came across a customer support chat bot i typed 'fuck this' and it said 'ok connecting you with a real person!'
― organ doner (ledge), Friday, 19 January 2024 14:22 (one year ago)
its very funny theyre using this technology that you can just tell it what to do
― lag∞n, Friday, 19 January 2024 18:44 (one year ago)
I vaguely remember some years back a possibly apocryphal thing about customer service lines with voice recognition trained on cursing to directly connect you to operator.
― Philip Nunez, Friday, 19 January 2024 18:56 (one year ago)
That puts the software ahead of the vast majority of young mathematicians and just shy of IMO gold medalists.
who wins the gold medal should not be a matter of opinion, I'm sorry but participation trophy culture has just gone too far
― frogbs, Friday, 19 January 2024 19:00 (one year ago)
Been thinking more about AI lately and I'm inclined to take it more seriously now. We're not on the cusp of superintelligence. But I do think some people are about to make lots of money on tech that's genuinely transformative and mostly bad for us on net. https://t.co/UWwnYNCNcl pic.twitter.com/9jPx4sCGZD— Osita Nwanevu (@OsitaNwanevu) January 20, 2024
― xyzzzz__, Saturday, 20 January 2024 16:19 (one year ago)
Don't agree with the opinion but the article is funny
― xyzzzz__, Saturday, 20 January 2024 16:20 (one year ago)
i mean what is lots of money and genuinely transformative, what is ai
― lag∞n, Saturday, 20 January 2024 16:36 (one year ago)
that article seems a lil too good to be true fwiw
― lag∞n, Saturday, 20 January 2024 16:39 (one year ago)
One YourMove user in the UK who requested anonymity said that he initially thought it'd be interesting to use the service. He started feeding his Hinge matches' messages into YourMove, and the suggestions it churned out were better than he expected.
"I had specifically asked for a slightly heartfelt yet mildly humorous and it drafted an almost perfect sample to send," he said. "All I needed was to add an emoji here and there and specifics about the [woman's] name."
A male anonymous user of RIZZ echoed this sentiment. "I'm actually really good with in person conversations but just terrible with texting especially on dating apps," he said in the in-app survey. "It's especially difficult to come up with something witty to break the ice and stand out, but with RIZZ I'm getting a bunch of clever opening suggestions that help activate interesting conversations."
― lag∞n, Saturday, 20 January 2024 16:42 (one year ago)
"My laundry always used to be so drab and listless, but when I started using Rinso I couldn't believe how much brighter the whites came out and how cheerful the colors were! It may seem like a small thing, but my life is better now every day. Thank you, Rinso!"
― more difficult than I look (Aimless), Saturday, 20 January 2024 17:25 (one year ago)
https://i.imgur.com/REbx3l2.png
― z_tbd, Saturday, 20 January 2024 17:26 (one year ago)
love to activate interesting conversations
― lag∞n, Saturday, 20 January 2024 17:29 (one year ago)
siri, give me more sexy lines, but this time with big nose energy
― z_tbd, Saturday, 20 January 2024 17:37 (one year ago)
― lag∞n, Thursday, January 18, 2024 11:55 PM (two days ago) bookmarkflaglink
terence tao said he is already using chatgpt to help him when he's stuck on proofs. not writing full proofs but "generate suggestive hints and promising leads to a working mathematician and participate actively in the decision-making process." he expects in a couple years he'll be co-authoring with it:
"When integrated with tools such as formal proof verifiers, internet search, and symbolic math packages, I expect, say, 2026-level AI, when used properly, will be a trustworthy co-author in mathematical research, and in many other fields as well."
https://unlocked.microsoft.com/ai-anthology/terence-tao/
― flopson, Saturday, 20 January 2024 20:31 (one year ago)
how do take this action
― lag∞n, Saturday, 20 January 2024 20:41 (one year ago)
poisoning ai datasets who scrape your art without authorisation:https://nightshade.cs.uchicago.edu/whatis.htmlQ&A:
Quick thread on common questions.1. no, NS does not scrape/copy/train on your art. It works perfectly fine in offline mode. Install, turn off wifi, then run. After dedicating 14+ months to this, folks who accuse us of trying to steal art will be blocked without a response.— Glaze at UChicago (@TheGlazeProject) January 19, 2024
― Humanitarian Pause (Tracer Hand), Sunday, 21 January 2024 15:29 (one year ago)
https://www.lastweekinaws.com/blog/aws-degenerative-ai-blunder/
― 𝔠𝔞𝔢𝔨 (caek), Sunday, 21 January 2024 19:14 (one year ago)
I can't even pretend to understand that Nighstshade stuff but it sounds interesting.
― Wine not? (Ye Mad Puffin), Sunday, 21 January 2024 19:19 (one year ago)
yeah its wild the computer is really seeing pictures in a very different way than people
― lag∞n, Sunday, 21 January 2024 19:24 (one year ago)
lol that AWS console bot kept getting recommended to me for a couple weeks and then the promo prompt disappeared. I think it's still out there but they decided to pull it off the showroom floor for the moment
― ɥɯ ︵ (°□°) (mh), Monday, 22 January 2024 16:16 (one year ago)
AlphaFold found thousands of possible psychedelics
https://www.nature.com/articles/d41586-024-00130-8
Maybe some use for AI after all?
― o. nate, Monday, 22 January 2024 20:12 (one year ago)
geez I hope that’s what my coworkers are actually doing when they keep asking me why their alphafold compute jobs aren’t running
― ɥɯ ︵ (°□°) (mh), Tuesday, 23 January 2024 01:32 (one year ago)
not trusting anyting called sophmoric labs
― a single gunshot and polite applause (Hunt3r), Tuesday, 23 January 2024 02:40 (one year ago)
AI has discovered thousands of previously unknown frat pranks
― lethbridge-pfunkboy (hardcore dilettante), Wednesday, 24 January 2024 20:37 (one year ago)
Why can't CEOs be replaced with AI?
oh, good. pic.twitter.com/ZgzLXQiEvV— Meg Reid 🦦 / megireid.bsky.social (@megireid) January 30, 2024
― xyzzzz__, Tuesday, 30 January 2024 16:31 (one year ago)
Not with a bang but a 'hopefully AI will help'
― Great-Tasting Burger Perceptions (Old Lunch), Tuesday, 30 January 2024 16:51 (one year ago)
all this shit where huge companies feel free to make shittier products to cut costs, whether thats ai in book publishing or planes that crash because of computer bugs or ecommerce delivering something only similar to what you ordered, is such an obvious result of industry consolidation enabled by a total lack of anti trust enforcement specifically and lack of regulation generally, its bad man
― lag∞n, Tuesday, 30 January 2024 17:02 (one year ago)
monopoly is the natural endpoint of capitalism
― 龜, Tuesday, 30 January 2024 18:51 (one year ago)
more like crapitalism
― lag∞n, Tuesday, 30 January 2024 18:52 (one year ago)
xxxpost, but all that Nightshade/Glaze stuff is doa; reminds me of scripts that claim they'll be able to recognize AI-generated writing
just read through a discussion of how to remove Nightshade / Glaze in a single preprocessing step. absolutely trivial to beat.— technocaptitlan (@revhowardarson) January 24, 2024
Spawning's solutions - like Kudurru or their do-not-train list - seem like smarter suggestions
― sean gramophone, Tuesday, 30 January 2024 19:08 (one year ago)
v behind on this thread, but anyone know any good writing on models for describing GenAI in terms of information theory/cybernetics? i’m reading ruyer on cybernetics, mainly looking at the problem of the origin of information in cybernetic theory, and while my instinct is that genAI *can* be captured/described by cybernetic theory, i feel GenAI does require such a description or some additional work at the margin (ie it can’t be captured entirely by pre-existing thinking).
― Fizzles, Saturday, 10 February 2024 12:38 (one year ago)
king ludd (has surely come)
https://www.theautopian.com/a-mob-just-vandalized-and-set-a-waymo-self-driving-car-on-fire-and-the-videos-are-nuts/
― mark s, Sunday, 11 February 2024 18:59 (one year ago)
Hell yeah
― xyzzzz__, Sunday, 11 February 2024 20:35 (one year ago)
It’s not clear who exactly attacked this Waymo in Chinatown on the Lunar New Year, or what their motivation was...
Just spit-balling here, but could it be that self-driving cars are a highly visible symbol of Silicon Valley's wealth and political ascendancy over the Bay area in general and SF in particular and their presence on the streets isn't just a constant reminder of this, but is perceived by people on the street as a danger and an insult imposed on them by those who possess that wealth and power? Or maybe it was just a mysterious, aberrant and irrational act and we'll never know what possessed that mob to do that.
― more difficult than I look (Aimless), Sunday, 11 February 2024 20:49 (one year ago)
the guy who wrote that piece/runs that blog has a tongue coated in boots
― butt dumb tight my boners got boners (the table is the table), Sunday, 11 February 2024 20:56 (one year ago)
i enjoyed his evident unease
― mark s, Sunday, 11 February 2024 21:09 (one year ago)
my favorite part is where the commenters liken the people desecrating the vehicle to “rapists” and “torturers” lmfao
― butt dumb tight my boners got boners (the table is the table), Sunday, 11 February 2024 21:13 (one year ago)
Lol did someone fuck the car
― Ethinically Ambigaus (Bananaman Begins), Sunday, 11 February 2024 21:39 (one year ago)
I remember reading an Ebert review of Crash (the Ballard one) which defended its non-porn status on the basis that no one would actually want to fuck a car but uhm...
― Philip Nunez, Sunday, 11 February 2024 21:51 (one year ago)
“hey elon, the peasants are revolting!”
― a single gunshot and polite applause (Hunt3r), Sunday, 11 February 2024 22:22 (one year ago)