dyslectric.dev
  • Communities
  • Multi-communities
  • Support Lemmy
  • Search
  • Login
  • Sign Up
Technology@lemmy.worldbylemonhead2@lemmy.world
8 days

OpenAI's internal model solved over 700 longstanding open problems.

openai.com English

overview of all results is here:

https://github.com/openai/math/blob/main/overview.pdf

Several are fields medal worthy results. One proves the Riemann hypothesis for Re(z) >7/8, which is a substantial improvement over previous results

7
    Sharing AI progress in mathematics
    openai.com
    OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
    You must log in or register to comment.

    • schipelblorp@sh.itjust.worksEnglish
      8 days

      You think a company shooting for a $2 trillion IPO is going to publish complete and honest information?

        • FauxLiving@lemmy.worldEnglish
          8 days

          Sounds conspiratorial. Which of these problems did you find incomplete or dishonest?

          It’s mathematics, there’s no ‘trust me bro’ required the proof is either logically consistent or it isn’t.

          You can check the proofs, they’ve even provided them in lean: https://github.com/openai/math/tree/main/lean

            • schipelblorp@sh.itjust.worksEnglish
              8 days

              How many of those over 700 proofs have you evaluated yourself?

              Whatever critcisms of the proofs by OpenAI is unlikely to be found in documents published by OpenAI.

              Here’s one criticism of one proof:

              https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem/

              Edit: I’m not saying that none of those proofs are correct, but if you want a full and complete picture of what those proofs are and what they mean in context, you’re absolutely not going to get it from OpenAI. Mathematics is not “just trust me bro”, nor is it publishing press releases.

          • Pratai@piefed.caEnglish
            7 days

            Don’t fucking care. Shut it down.

            • paraphrand@lemmy.worldEnglish
              8 days

              Downvotes? Use your words.

              If this is a scam or indicative of evil, etc, it deserves upvotes. Otherwise it sort of looks like plugging your ears, guys.

                • Corkyskog@sh.itjust.worksEnglish
                  8 days

                  Downvote is probably because the source is OpenAI so this is just an ad.

                    • lemonhead2@lemmy.worldEnglish
                      8 days

                      I posted this. I don’t like open ai much for various reasons. but you can’t argue with the quality of some of these results

                  Technology@lemmy.world

                  technology@lemmy.world

                  Subscribe from remote instance

                  Create post

                  Report community

                  Modlog
                  You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

                  This is a most excellent place for technology news and articles.


                  Our Rules


                  1. Follow the lemmy.world rules.
                  2. Only tech related news or articles.
                  3. Be excellent to each other!
                  4. Mod approved content bots can post up to 10 articles per day.
                  5. Threads asking for personal tech support may be deleted.
                  6. Politics threads may be removed.
                  7. No memes allowed as posts, OK to post as comments.
                  8. Only approved bots from the list below, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
                  9. Check for duplicates before posting, duplicates may be removed
                  10. Accounts 7 days and younger will have their posts automatically removed.

                  Approved Bots


                  • @[email protected]
                  • @[email protected]
                  • @[email protected]
                  • @[email protected]
                  Visibility: Public

                  This community is visible to everyone.

                  3.04K users / Day8.23K users / Week13.1K users / Month13.2K users / 6 months919 posts19.8K comments1 local subscriber88.8K subscribers
                  Mods: L3s@lemmy.world
                  • BE: 1.0.0-beta.2
                  • Modlog
                  • Instances
                  • Docs
                  • Code
                  • join-lemmy.org