524
Pentagon to start using Grok as part of a $200 million contract with Elon Musk's xAI
(www.cbsnews.com)
this post was submitted on 14 Jul 2025
524 points (98.2% liked)
Technology
72799 readers
2996 users here now
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
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
In theory at least, if you have a math problem, and a protocol for how to ask a real calculator to compute it, the model can ask a real calculator to compute the value of an expression.
I don’t know if anyone has done it, but it is feasible. Could also be extended to more robust solving tools. Think matlab and the like.