OpenAI Says Astra Solved 10 Open Math Problems With Lean Proofs: The proof files are public, but the new model is still private.

www.implicator.ai

OpenAI Says Astra Solved 10 Open Math Problems With Lean Proofs: The proof files are public, but the new model is still private.

www.implicator.ai

eicker@lemmy.world to

Technology@lemmy.worldEnglish · 9 days ago

OpenAI Says Astra Solved 10 Math Problems With Lean Proofs

www.implicator.ai

OpenAI paired its Astra proof claims with Lean certificates and a public repository. That makes the results checkable, but it does not make the unreleased model or peer review disappear.

You must log in or # to comment.

Chat

Technology@lemmy.world

technology@lemmy.world

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: !technology@lemmy.world

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

Our Rules

Follow the lemmy.world rules.
Only tech related news or articles.
Be excellent to each other!
Mod approved content bots can post up to 10 articles per day.
Threads asking for personal tech support may be deleted.
Politics threads may be removed.
No memes allowed as posts, OK to post as comments.
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.
Check for duplicates before posting, duplicates may be removed
Accounts 7 days and younger will have their posts automatically removed.

Approved Bots

Visibility: public

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

21 users / Day
31 users / Week
41 users / Month
41 users / 6 months
0 local subscribers
87K subscribers
151 Posts
1 Comment
Modlog