五年内，AI能证明人类没有证明的猜想吗？张亚勤和丘成桐打了个赌

Group 1 - AI is increasingly capable of writing code, with reports indicating that up to 90% of code can be generated by AI tools [1][2] - Zhang Yaqin predicts that AI will prove a mathematical conjecture or formula within five years, while his counterpart Qiu Chengtong disagrees [1] - AI excels in structured and rule-based tasks, such as coding and language processing, but struggles with more abstract concepts like quantum mechanics [2][3] Group 2 - The efficiency of the human brain, with its 86 billion neurons and low energy consumption, remains significantly superior to current AI models, which require vast computational resources [3] - The concept of "singularity" in AI development is debated, with Zhang suggesting it may take 15 to 20 years for AI to achieve general intelligence that surpasses human performance in most tasks [3] - Different types of intelligence are expected to develop at varying rates, with information intelligence potentially reaching human levels in four to five years, while physical and biological intelligence may take ten to twenty years [4]