Skip to content
  • Categories
  • Recent
  • Tags
  • Popular
  • World
  • Users
  • Groups
Skins
  • Light
  • Brite
  • Cerulean
  • Cosmo
  • Flatly
  • Journal
  • Litera
  • Lumen
  • Lux
  • Materia
  • Minty
  • Morph
  • Pulse
  • Sandstone
  • Simplex
  • Sketchy
  • Spacelab
  • United
  • Yeti
  • Zephyr
  • Dark
  • Cyborg
  • Darkly
  • Quartz
  • Slate
  • Solar
  • Superhero
  • Vapor

  • Default (Cyborg)
  • No Skin
Collapse
Brand Logo

CIRCLE WITH A DOT

  1. Home
  2. Uncategorized
  3. We knew, but the proof is nice.

We knew, but the proof is nice.

Scheduled Pinned Locked Moved Uncategorized
math
33 Posts 21 Posters 0 Views
  • Oldest to Newest
  • Newest to Oldest
  • Most Votes
Reply
  • Reply as topic
Log in to reply
This topic has been deleted. Only users with topic management privileges can see it.
  • davidaugust@mastodon.onlineD davidaugust@mastodon.online

    We knew, but the proof is nice.

    "Apple just proved that AI models cannot do math. Not advanced math. Grade school math. The kind a 10-year-old solves"

    The guess-the-next-words machines don’t actually understand anything.

    Verifying your browser | Nitter

    favicon

    (nitter.poast.org)

    #math #ai

    joriki@infosec.exchangeJ This user is from outside of this forum
    joriki@infosec.exchangeJ This user is from outside of this forum
    joriki@infosec.exchange
    wrote last edited by
    #6

    @davidaugust

    not new, here's the 2024 paper referenced:

    Link Preview Image
    GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

    Abstract page for arXiv paper 2410.05229: GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

    favicon

    arXiv.org (arxiv.org)

    davidaugust@mastodon.onlineD 1 Reply Last reply
    0
    • davidaugust@mastodon.onlineD davidaugust@mastodon.online

      We knew, but the proof is nice.

      "Apple just proved that AI models cannot do math. Not advanced math. Grade school math. The kind a 10-year-old solves"

      The guess-the-next-words machines don’t actually understand anything.

      Verifying your browser | Nitter

      favicon

      (nitter.poast.org)

      #math #ai

      smartmanapps@dotnet.socialS This user is from outside of this forum
      smartmanapps@dotnet.socialS This user is from outside of this forum
      smartmanapps@dotnet.social
      wrote last edited by
      #7

      @davidaugust
      I have a whole thread of proof 😂
      https://dotnet.social/@SmartmanApps/116000100388648367

      1 Reply Last reply
      0
      • davidaugust@mastodon.onlineD davidaugust@mastodon.online

        We knew, but the proof is nice.

        "Apple just proved that AI models cannot do math. Not advanced math. Grade school math. The kind a 10-year-old solves"

        The guess-the-next-words machines don’t actually understand anything.

        Verifying your browser | Nitter

        favicon

        (nitter.poast.org)

        #math #ai

        G This user is from outside of this forum
        G This user is from outside of this forum
        glitzersachen@hachyderm.io
        wrote last edited by
        #8

        @davidaugust

        Don't let @scottjenson catch you disseminating defeatist news on AI.

        It's utterly your fault that we have this bad reputation on the Fedi with respect to AI.

        @xdydx

        davidaugust@mastodon.onlineD 1 Reply Last reply
        0
        • G glitzersachen@hachyderm.io

          @davidaugust

          Don't let @scottjenson catch you disseminating defeatist news on AI.

          It's utterly your fault that we have this bad reputation on the Fedi with respect to AI.

          @xdydx

          davidaugust@mastodon.onlineD This user is from outside of this forum
          davidaugust@mastodon.onlineD This user is from outside of this forum
          davidaugust@mastodon.online
          wrote last edited by
          #9

          @glitzersachen @scottjenson @xdydx guessing you are joking. But also suspect it may be an inside joke with not a lot of folks on the inside.

          xdydx@mastodon.socialX G 2 Replies Last reply
          0
          • davidaugust@mastodon.onlineD davidaugust@mastodon.online

            @glitzersachen @scottjenson @xdydx guessing you are joking. But also suspect it may be an inside joke with not a lot of folks on the inside.

            xdydx@mastodon.socialX This user is from outside of this forum
            xdydx@mastodon.socialX This user is from outside of this forum
            xdydx@mastodon.social
            wrote last edited by
            #10

            @davidaugust @glitzersachen

            Actually, this particular joke has the attention of quite a few people..

            Scott Jenson (@scottjenson@social.coop)

            OK, this is going even MORE sideways so I need to make a few things clear: 1. I took a complex point and made it poorly 2. My goal was to ask for more inclusiveness 3. I am sickened by what happend to BlackTwitter and I don't want it recur 4. But I can't speak for BlackTwitter nor should I 5. I apologize to black mastodon users for making such a poor comparison 6. I'm not endorsing "AI Slop" they were a foil to make my point 7. I'm certainly NOT trying to compare AI bros to Black twitter (but, as I said, I can see how people made that connection. I'm trying to correct that here)

            favicon

            social.coop (social.coop)

            @scottjenson

            1 Reply Last reply
            0
            • davidaugust@mastodon.onlineD davidaugust@mastodon.online

              We knew, but the proof is nice.

              "Apple just proved that AI models cannot do math. Not advanced math. Grade school math. The kind a 10-year-old solves"

              The guess-the-next-words machines don’t actually understand anything.

              Verifying your browser | Nitter

              favicon

              (nitter.poast.org)

              #math #ai

              monniauxd@social.sciences.reM This user is from outside of this forum
              monniauxd@social.sciences.reM This user is from outside of this forum
              monniauxd@social.sciences.re
              wrote last edited by
              #11

              @davidaugust Well, there have actually been successes by connecting LLMs to proof assistant and computer algebra programs. As this post rightly puts, the LLM is not capable in itself to perform computations reliably, but it can write commands sent to the computer algebra programs, or proof candidates sent to the proof assistant; which can answer that the proof is incorrect, and the process goes on until a correct proof is produced.

              See also uses by pro mathematicians:
              https://bsky.app/profile/wildverzweigt.bsky.social/post/3miua4ulxhk2f

              Also see Terence Tao

              1 Reply Last reply
              0
              • davidaugust@mastodon.onlineD davidaugust@mastodon.online

                We knew, but the proof is nice.

                "Apple just proved that AI models cannot do math. Not advanced math. Grade school math. The kind a 10-year-old solves"

                The guess-the-next-words machines don’t actually understand anything.

                Verifying your browser | Nitter

                favicon

                (nitter.poast.org)

                #math #ai

                sobex@social.sciences.reS This user is from outside of this forum
                sobex@social.sciences.reS This user is from outside of this forum
                sobex@social.sciences.re
                wrote last edited by
                #12

                @davidaugust Direct link to the paper https://arxiv.org/pdf/2410.05229 (presented at ICLR 2025).

                Seems not to be a very recent news, then.

                davidaugust@mastodon.onlineD 1 Reply Last reply
                0
                • davidaugust@mastodon.onlineD davidaugust@mastodon.online

                  We knew, but the proof is nice.

                  "Apple just proved that AI models cannot do math. Not advanced math. Grade school math. The kind a 10-year-old solves"

                  The guess-the-next-words machines don’t actually understand anything.

                  Verifying your browser | Nitter

                  favicon

                  (nitter.poast.org)

                  #math #ai

                  karen5lund@mastodon.socialK This user is from outside of this forum
                  karen5lund@mastodon.socialK This user is from outside of this forum
                  karen5lund@mastodon.social
                  wrote last edited by
                  #13

                  @davidaugust In about 80 years we've gone from a room full of computers the size of refrigerators that were good at crunching numbers but not much else to computers the size of corporate office parks that can draw almost-convincing pictures of people with five fingers (and thumbs, too!) but can't do elementary school math.

                  And some people call this progress.

                  bouriquet@mastodon.socialB 1 Reply Last reply
                  0
                  • sobex@social.sciences.reS sobex@social.sciences.re

                    @davidaugust Direct link to the paper https://arxiv.org/pdf/2410.05229 (presented at ICLR 2025).

                    Seems not to be a very recent news, then.

                    davidaugust@mastodon.onlineD This user is from outside of this forum
                    davidaugust@mastodon.onlineD This user is from outside of this forum
                    davidaugust@mastodon.online
                    wrote last edited by
                    #14

                    @Sobex it’s from August.

                    1 Reply Last reply
                    0
                    • davidaugust@mastodon.onlineD This user is from outside of this forum
                      davidaugust@mastodon.onlineD This user is from outside of this forum
                      davidaugust@mastodon.online
                      wrote last edited by
                      #15

                      @drifthood yes, there does seem to be a threshold over which in some respects only humans cross over to one side.

                      I see that sort of begging in a dog. He wants the treat, so instead of just doing the desired behavior the human command is asking for, he tries every response that has ever gotten him a treat until he “unlocks” the treat. Humans can and do do this too from time to time, but humans _also_ actually communicate and understand from time to time as well.

                      1 Reply Last reply
                      0
                      • joriki@infosec.exchangeJ joriki@infosec.exchange

                        @davidaugust

                        not new, here's the 2024 paper referenced:

                        Link Preview Image
                        GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

                        Abstract page for arXiv paper 2410.05229: GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

                        favicon

                        arXiv.org (arxiv.org)

                        davidaugust@mastodon.onlineD This user is from outside of this forum
                        davidaugust@mastodon.onlineD This user is from outside of this forum
                        davidaugust@mastodon.online
                        wrote last edited by
                        #16

                        @joriki it’s from August.

                        joriki@infosec.exchangeJ 1 Reply Last reply
                        0
                        • davidaugust@mastodon.onlineD davidaugust@mastodon.online

                          We knew, but the proof is nice.

                          "Apple just proved that AI models cannot do math. Not advanced math. Grade school math. The kind a 10-year-old solves"

                          The guess-the-next-words machines don’t actually understand anything.

                          Verifying your browser | Nitter

                          favicon

                          (nitter.poast.org)

                          #math #ai

                          audioflyer79@mstdn.socialA This user is from outside of this forum
                          audioflyer79@mstdn.socialA This user is from outside of this forum
                          audioflyer79@mstdn.social
                          wrote last edited by
                          #17

                          @davidaugust Ecosia AI gets it right. It looks like the paper referenced was published in 2025, so the research conducted prior. The models are all much better now. I’m no AI apologist, but I think any argument of “AI sucks because it’s not good at _____” is on tenuous ground and will be proven wrong as the models continue to improve. @Ecosia

                          Link Preview Image
                          alisynthesis@io.waxandleather.comA 1 Reply Last reply
                          0
                          • audioflyer79@mstdn.socialA audioflyer79@mstdn.social

                            @davidaugust Ecosia AI gets it right. It looks like the paper referenced was published in 2025, so the research conducted prior. The models are all much better now. I’m no AI apologist, but I think any argument of “AI sucks because it’s not good at _____” is on tenuous ground and will be proven wrong as the models continue to improve. @Ecosia

                            Link Preview Image
                            alisynthesis@io.waxandleather.comA This user is from outside of this forum
                            alisynthesis@io.waxandleather.comA This user is from outside of this forum
                            alisynthesis@io.waxandleather.com
                            wrote last edited by
                            #18

                            @audioflyer79 @davidaugust I mean, it's worth noting that the LLMs have ingested that paper by now. : /

                            audioflyer79@mstdn.socialA 1 Reply Last reply
                            0
                            • alisynthesis@io.waxandleather.comA alisynthesis@io.waxandleather.com

                              @audioflyer79 @davidaugust I mean, it's worth noting that the LLMs have ingested that paper by now. : /

                              audioflyer79@mstdn.socialA This user is from outside of this forum
                              audioflyer79@mstdn.socialA This user is from outside of this forum
                              audioflyer79@mstdn.social
                              wrote last edited by
                              #19

                              @alisynthesis @davidaugust fair enough. I changed up the problem completely and added some reasoning and it did pretty well. It appears to be generating code to solve the math. The only thing it missed is that very unripe bananas are green, not yellow.

                              James picks 40 apples on Monday. Then he picks 35 lemons on Tuesday. On Wednesday, he picks half as many bananas as he did apples, but five of them were very unripe. How many yellow fruits does James have?

                              Link Preview ImageLink Preview Image
                              morten_skaaning@mastodon.gamedev.placeM 1 Reply Last reply
                              0
                              • davidaugust@mastodon.onlineD davidaugust@mastodon.online

                                We knew, but the proof is nice.

                                "Apple just proved that AI models cannot do math. Not advanced math. Grade school math. The kind a 10-year-old solves"

                                The guess-the-next-words machines don’t actually understand anything.

                                Verifying your browser | Nitter

                                favicon

                                (nitter.poast.org)

                                #math #ai

                                pikesley@mastodon.me.ukP This user is from outside of this forum
                                pikesley@mastodon.me.ukP This user is from outside of this forum
                                pikesley@mastodon.me.uk
                                wrote last edited by
                                #20

                                @davidaugust

                                Amo Bishop Rodent (@pikesley@mastodon.me.uk)

                                "We made the computers, the notoriously accurate calculating machines, worse at arithmetic. This is surely progress along the path to creating Computer God"

                                favicon

                                mastodon.me.uk (mastodon.me.uk)

                                1 Reply Last reply
                                0
                                • lemgandi@mastodon.socialL lemgandi@mastodon.social

                                  @davidaugust

                                  In other shocking news:

                                  Water is Wet
                                  Without air you will die

                                  ozzelot@mstdn.socialO This user is from outside of this forum
                                  ozzelot@mstdn.socialO This user is from outside of this forum
                                  ozzelot@mstdn.social
                                  wrote last edited by
                                  #21

                                  @lemgandi
                                  The wetness of water has been hotly debated, as to some wet means "covered with or soaked in water", and it's questioned whether water is covered with itself.
                                  @davidaugust

                                  1 Reply Last reply
                                  0
                                  • karen5lund@mastodon.socialK karen5lund@mastodon.social

                                    @davidaugust In about 80 years we've gone from a room full of computers the size of refrigerators that were good at crunching numbers but not much else to computers the size of corporate office parks that can draw almost-convincing pictures of people with five fingers (and thumbs, too!) but can't do elementary school math.

                                    And some people call this progress.

                                    bouriquet@mastodon.socialB This user is from outside of this forum
                                    bouriquet@mastodon.socialB This user is from outside of this forum
                                    bouriquet@mastodon.social
                                    wrote last edited by
                                    #22

                                    @Karen5Lund Maybe because people stopped writing efficient code about 20 years ago?

                                    1 Reply Last reply
                                    0
                                    • davidaugust@mastodon.onlineD davidaugust@mastodon.online

                                      We knew, but the proof is nice.

                                      "Apple just proved that AI models cannot do math. Not advanced math. Grade school math. The kind a 10-year-old solves"

                                      The guess-the-next-words machines don’t actually understand anything.

                                      Verifying your browser | Nitter

                                      favicon

                                      (nitter.poast.org)

                                      #math #ai

                                      pascal_le_merrer@mastodon.socialP This user is from outside of this forum
                                      pascal_le_merrer@mastodon.socialP This user is from outside of this forum
                                      pascal_le_merrer@mastodon.social
                                      wrote last edited by
                                      #23

                                      @davidaugust AGI is coming son 🤭

                                      davidaugust@mastodon.onlineD 1 Reply Last reply
                                      0
                                      • davidaugust@mastodon.onlineD davidaugust@mastodon.online

                                        We knew, but the proof is nice.

                                        "Apple just proved that AI models cannot do math. Not advanced math. Grade school math. The kind a 10-year-old solves"

                                        The guess-the-next-words machines don’t actually understand anything.

                                        Verifying your browser | Nitter

                                        favicon

                                        (nitter.poast.org)

                                        #math #ai

                                        flq@freiburg.socialF This user is from outside of this forum
                                        flq@freiburg.socialF This user is from outside of this forum
                                        flq@freiburg.social
                                        wrote last edited by
                                        #24

                                        @davidaugust interesting. Had to ask. Already fixed?

                                        Link Preview Image
                                        davidaugust@mastodon.onlineD 1 Reply Last reply
                                        0
                                        • davidaugust@mastodon.onlineD davidaugust@mastodon.online

                                          @glitzersachen @scottjenson @xdydx guessing you are joking. But also suspect it may be an inside joke with not a lot of folks on the inside.

                                          G This user is from outside of this forum
                                          G This user is from outside of this forum
                                          glitzersachen@hachyderm.io
                                          wrote last edited by
                                          #25

                                          @davidaugust @scottjenson @xdydx

                                          True. See @xdydx 's reply.

                                          1 Reply Last reply
                                          0
                                          Reply
                                          • Reply as topic
                                          Log in to reply
                                          • Oldest to Newest
                                          • Newest to Oldest
                                          • Most Votes


                                          • Login

                                          • Login or register to search.
                                          • First post
                                            Last post
                                          0
                                          • Categories
                                          • Recent
                                          • Tags
                                          • Popular
                                          • World
                                          • Users
                                          • Groups