WirelessRAM
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
lemonhead2@lemmy.world to Technology@lemmy.worldEnglish · 3 days ago

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

openai.com

external-link
message-square
7
link
fedilink
-23
external-link

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

openai.com

lemonhead2@lemmy.world to Technology@lemmy.worldEnglish · 3 days ago
message-square
7
link
fedilink
Sharing AI progress in mathematics
openai.com
external-link
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

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

  • Pratai@piefed.ca
    link
    fedilink
    English
    arrow-up
    1
    arrow-down
    1
    ·
    3 days ago

    Don’t fucking care. Shut it down.

Technology@lemmy.world

technology@lemmy.world

Subscribe from Remote Instance

Create a post
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
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 3.08K users / day
  • 7.76K users / week
  • 7.84K users / month
  • 7.89K users / 6 months
  • 1 local subscriber
  • 88.7K subscribers
  • 408 Posts
  • 6.7K Comments
  • Modlog
  • mods:
  • L3s@lemmy.world
  • enu@lemmy.world
  • Technopagan@lemmy.world
  • L4sBot@lemmy.worldB
  • BE: 0.19.20
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org