📈 股票
🔥 發燒
📢
Anthropic AI 證偽雅可比猜想
▲ 30 推
▼ 3 噓
→ 56 回應
🔔 追這個瓜,別錯過後續
挑下面的關鍵字追蹤——只要 爆了、有後續 或 延燒,第一時間通知你
Anthropic 研究員、數論學家 Levent Alpöge 在 X 上宣布,Anthropic 的 Claude Fable 5 找到了雅可比猜想的反例,並且已經被迅速驗證。
---
"hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final"
"雅可比猜想是錯的,多虧了我的朋友akhil問起這件事,還有我的另一位朋友Fable,在世界盃決賽期間還在忙這個。"
---
雅可比猜想是 1939 年提出的經典數學難題,已經困擾數學界超過 80 年,它也和Dixmier 猜想、Poisson 猜想、Weyl algebra 等重要問題密切相關,因此這個結果會連帶改變數學家對多項式映射、代數幾何與非交換代數的理解。
AI已經開始在數學前沿獨立做出貢獻,而這只是剛開始。隨著形式化驗證的成熟,加上持續成長的AI模型,算力或許才是真正的瓶頸,期待未來能看到AI解決更困難的問題。
連結: https://x.com/__alpoge__/status/20790283409551…
--