beep@piefed.world to

Technology@lemmy.worldEnglish · 9 days ago

OpenAI's New Astra Model Solves 10 Long-Standing Math and Computer Science Problems

3

-13

OpenAI's New Astra Model Solves 10 Long-Standing Math and Computer Science Problems

beep@piefed.world to

Technology@lemmy.worldEnglish · 9 days ago

3

Ten advances in mathematics and theoretical computer science

OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.

cross-posted from: https://piefed.world/c/tech/p/1301153/openai-s-new-astra-model-solves-10-long-standing-math-and-computer-science-problems

Chat

ranzispa@mander.xyz
link
fedilink
English
arrow-up
5·
9 days ago
Any mathematician here who reviewed the correctness and relevance of these proofs?

Technology@lemmy.world

technology@lemmy.world

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

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.

3.9K users / day
9.73K users / week
15.5K users / month
31.6K users / 6 months
2 local subscribers
87K subscribers
21.2K Posts
934K Comments
Modlog