DAILY DOSE: Mathematicians Warn AI Could Erode Their Field; Robot Dogs Join World Cup Security Plans
数学家对人工智能对其领域创造力和协作的负面影响表示担忧，强调了研究诚信方面的潜在问题。
1946 年，数学家 Paul Erdős 提出了单位距离问题，并提出了获胜策略。人工智能模型现在已经有了更好的模型。为什么人类没有先到达那里？
An AI solution to an 80‑year‑old problem has shocked mathematicians
平面上点对以单位距离间隔的新最佳排列的一种表示形式。图片来源：阿尔瓦罗·洛萨诺-罗夫莱多。作者：莫纳什大学 Melissa Lee 上周，OpenAI 透露其内部人工智能 (AI) 模型之一找到了著名的 [...]
A golden age of maths is dawning and mathematicians are freaking out
数学家们对人工智能在解决高级问题方面所取得的进展感到震惊，这让一些人质疑人类是否还有发展的空间
Aim high but don't shoot for the moon, mathematicians advise
根据人们如何权衡不同结果的数学模型，最佳策略是雄心勃勃，但不要太过分
该领域最接近解决平面单位距离问题的时间是 1984 年，该问题于 20 世纪 40 年代首次提出。现在，OpenAI 声称内部模型已经破解了这个难题。
How the mathematician Gödel proved that not everything can be proven
陈述可以是真或假。但正如库尔特·哥德尔所证明的那样，总会有一些数学假设既无法被证明也无法被证伪
Mathematicians stunned by AI's biggest breakthrough in mathematics yet
OpenAI打造的人工智能破解了Paul Erdős几十年前的猜想，数学家们将其誉为人工智能在数学领域的里程碑式时刻
2019华为荣耀杯欧亚信息通信技术领域决赛共有850人参赛，其中资格赛阶段优胜者80人，成为15000名参赛者中的佼佼者。
Оптимизировать транспортную систему Владивостока помогут исследования математиков ДВФУ
远东联邦大学 (FEFU) 的科学家获得了俄罗斯基础研究基金会 (RFBR) 的资助，用于开发用于运输过程分析、建模和优化的现代解决方案。
Яндекс и СПбГУ будут готовить математиков вместе
Yandex 和圣彼得堡国立大学已同意联合培养数学学士学位。公司与大学将共同开发多门选修课程。它们将使学生获得计算机科学领域的应用知识。
The Test Got It Right: Mathematician Leaves Lasting Legacy
杰克·格雷弗 (Jack Graver) 在教职 60 年后，于今年春天从艺术与科学学院数学系退休。《测试正确：数学家留下持久遗产》一文首先出现在《今日雪城大学》上。
‘Golden rule’ in abstract art just discovered by mathematicians
数学比率可以解释为什么人工智能生成的艺术无法引起观众的敬畏
Why some mathematicians think we should abandon pi
越来越多的人认为将如此多的数学公式与著名的 3.14... 值联系起来是错误的。另一个值 tau 可能会更好
How Gödel numbers turn mathematical laws against themselves
通过将数学陈述编码为数字，数学家库尔特·哥德尔使用普通算术来检查陈述是否可以被证明
Mathematical AI helps researchers crack 50-year-old problem
在 OpenAI 的人工智能找到了解决 Paul Erdős 80 年前的猜想的技巧之后，数学家们借用了相同的技术来解决另一个重要问题
Start-ups are racing to revolutionise mathematics with AI
拥有数亿美元资金的人工智能初创企业正在聘请数学家并构建人工智能系统，他们希望这些系统不仅能解决数学问题，还能构建更智能的人工智能
