Crypto market news: OpenAI announced GPT-5.6 SOL Ultra calls 64 sub-agents, finishes in less than 1 hour, and provides a proof for the proposed 50-year “cyclic double-covering conjecture.” OpenAI has公開 the full prompt and the complete proof text, and has open-sourced a Lean formalized version, with the related code verified via the Lean kernel. However, this is still a result published by OpenAI; the mathematical community has not yet completed an independent review, so for now it can only be said to have “provided a proof,” not directly “formally solved it.”

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
  • 1
  • Share
Comment
Add a comment
Add a comment
SnackFi
· 1h ago
A hypothesis from 50 years ago was solved by AI in an hour, leaving mathematicians under immense pressure
View OriginalReply0
NekoValidator
· 1h ago
64 sub-Agents coordinate together; this architecture is quite interesting.
View OriginalReply0
CandleSitter
· 2h ago
AI proves a mathematical conjecture—this plot development is moving way too fast.
View OriginalReply0
NeonVortexTunnel
· 2h ago
OpenAI releases Lean code as open source, with at least a proper attitude
View OriginalReply0
DewdropSapling
· 2h ago
Wait for peer review; don’t rush to pop the champagne.
View OriginalReply0
  • Pinned