According to reports, Claude Mythos solved the milestone Erdős problem at OpenAI with a "clever and concise proof."

ME AI Message, Anthropic engineer Sholto Douglas stated that Claude Mythos solved the Erdős unit distance conjecture proposed by OpenAI over the weekend and provided a "clever and concise proof." This achievement is described as a sign that artificial intelligence is "seriously ahead" in the field of mathematical discovery. (Source: AiHot)
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Reward
  • 5
  • Repost
  • Share
Comment
Add a comment
Add a comment
MevTeaBreak
· 5h ago
Wait, OpenAI's question is answered by Claude—what kind of divine battle is this?
View OriginalReply0
FloatingTeacup
· 8h ago
Let's wait and see the peer review, don't rush to open the champagne yet.
View OriginalReply0
TransparentDome
· 8h ago
If it were real, should the Fields Medal be awarded to servers?
View OriginalReply0
TacoTreasury
· 8h ago
Claude is already starting to compete with mathematicians for jobs, and I'm still scrolling through Twitter.
View OriginalReply0
NekoValidator
· 9h ago
The verification cost of AI mathematical proofs may be higher than the proofs themselves.
View OriginalReply0