this post was submitted on 01 Aug 2026
-12 points (16.7% liked)

Technology

87598 readers
3739 users here now

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

founded 3 years ago
MODERATORS
L3s@lemmy.world
enu@lemmy.world
technopagan@lemmy.world
L4s@lemmy.world
L3s@hackingne.ws
-12
OpenAI's New Astra Model Solves 10 Long-Standing Math and Computer Science Problems (openai.com)
submitted 3 weeks ago by beep@piefed.world to c/technology@lemmy.world
3 comments fedilink hide all child comments
 

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

top 3 comments
sorted by: hot top controversial new old
[–] scrubbles@poptalk.scrubbles.tech 8 points 3 weeks ago

Not solves. They have not used the term solved anywhere in there. They are ten possible answers they say.

Which means they have let AI run around and maybe come up with an answer, but they have no way of knowing if it's true, or at least don't want to say it is. Interesting.

The company is hemorrhaging money. This is marketing fluff to try and keep investors interested, and trying to buy some pr because they're offering some free tokens.

[–] ranzispa@mander.xyz 5 points 3 weeks ago

Any mathematician here who reviewed the correctness and relevance of these proofs?

[–] Diurnambule@jlai.lu 1 points 3 weeks ago

Mathematician juste have to ignore them and poof.