Forwarded from Hacker News
Physicists have created the most fiendishly difficult maze (Score: 150+ in 1 day)
Link: https://readhacker.news/s/6b6bg
Comments: https://readhacker.news/c/6b6bg
Link: https://readhacker.news/s/6b6bg
Comments: https://readhacker.news/c/6b6bg
ScienceAlert
Physicists Have Created The World's Most Fiendishly Difficult Maze
Prepare to abandon all hope.
🆒1
#TIL 一个有趣的定理:
对于 n >= 1,集合 {1, ..., 2n} 可以被分割成 n 组数对 (a1, b1), ... (an, bn),使得对于每一对 (ai, bi),ai + bi 都是质数。
一个简短的证明:
当 n = 1 时,集合为 {1, 2},1 + 2 = 3。
对于任意给定 n,假设命题对于任意 i < n 的情况都成立。
取大于 2n 的下一个质数 p,p < 4n。
可以得到 (4n-p-1)/2 个数对,其和都为 p:(2n, p-2n), (2n-1, p-2n+1), ...。
剩下的数字为 {1, ..., p-2n-1},由于 (p-2n-1)/2 < n,剩余的数字也都可以组成和为质数的数对。
由数学归纳法,得证。
https://x.com/LongFormMath/status/1811519361716486427
https://x.com/JanSchwede/status/1811530503247331573
对于 n >= 1,集合 {1, ..., 2n} 可以被分割成 n 组数对 (a1, b1), ... (an, bn),使得对于每一对 (ai, bi),ai + bi 都是质数。
一个简短的证明:
当 n = 1 时,集合为 {1, 2},1 + 2 = 3。
对于任意给定 n,假设命题对于任意 i < n 的情况都成立。
取大于 2n 的下一个质数 p,p < 4n。
可以得到 (4n-p-1)/2 个数对,其和都为 p:(2n, p-2n), (2n-1, p-2n+1), ...。
剩下的数字为 {1, ..., p-2n-1},由于 (p-2n-1)/2 < n,剩余的数字也都可以组成和为质数的数对。
由数学归纳法,得证。
https://x.com/LongFormMath/status/1811519361716486427
https://x.com/JanSchwede/status/1811530503247331573
X (formerly Twitter)
Jay Cummings (@LongFormMath) on X
I learned an amazing theorem today
🤯11🥰3😈3👍2
分享一些 Adobe 的正版软件受害者例子,以及推荐各位 PS/AI 的轻中度用户加入当前半价且免费试用半年的买断制的 Affinity 套餐(
https://fixupx.com/clydeonx/status/1811782999333359693?s=19
https://fixupx.com/clydeonx/status/1811782999333359693?s=19
FxTwitter / FixupX
克莱德 (@clydeonx)
长期黑名单里从此加入了一个 Adobe。
Fuck you @Adobe
Fuck you @Adobe
💯8🤬6
Forwarded from Bilibili Feed Bot
This media is not supported in your browser
VIEW IN TELEGRAM
🤣17❤1🤯1
Forwarded from 知乎大巴扎
Telegraph
湖南华容洪水冲毁鱼塘,超300万斤外来入侵物种大口黑鲈逃逸,会对生态造成什么影响,应该如何处理?
这个问题发出来三天还没人回答,感觉不像是能火的样子,但我反复考虑后还是决定答一下 外行看热闹,内行看门道。原产美国的大口黑鲈在中国人工养殖逃逸野外这件事,背后隐含的科学意味,其实远比各新闻报道字面上展露出来的多得多 而养殖大口黑鲈逃逸对国内生态可能带来的影响和危害,远超社会的想象,在国内也没得到足够的重视 大口黑鲈/Largemouth bass (Micropterus salmoides) 是鲈形目太阳鱼科黑鲈属的一种肉食性的大中型淡水鲈鱼,体长可达75厘米,成年个体通常是所在水域的顶级捕食者 请留…
Forwarded from Solidot
亚马逊向美国用户开放其购物聊天机器人 Rufus
2024-07-13 22:25 by 泰山和蚁人
亚马逊向美国用户开放其购物聊天机器人 Rufus,用户可通过最新版本的 Amazon Shopping 应用尝试 Rufus。与其它 AI 聊天机器人不同的是,Rufus 训练数据集包括了其商品目录、客户评价、社区问答,以及抓取的来自 Web 的公开信息。亚马逊没有披露它抓取了哪些公开信息。用户可以让它推荐商品,或描述特定商品的功能,它还与用户的账号绑定,因此还能回答与所订购商品交付相关的信息。和其它 AI 聊天机器人类似,它给出的答案未必是正确的,需要用户交叉验证。
https://www.amazon.com/b?ie=UTF8&node=17442765011
https://slashdot.org/story/24/07/12/2022234/amazons-ai-chatbot-rufus-is-now-live-for-all-us-customers
#人工智能
2024-07-13 22:25 by 泰山和蚁人
亚马逊向美国用户开放其购物聊天机器人 Rufus,用户可通过最新版本的 Amazon Shopping 应用尝试 Rufus。与其它 AI 聊天机器人不同的是,Rufus 训练数据集包括了其商品目录、客户评价、社区问答,以及抓取的来自 Web 的公开信息。亚马逊没有披露它抓取了哪些公开信息。用户可以让它推荐商品,或描述特定商品的功能,它还与用户的账号绑定,因此还能回答与所订购商品交付相关的信息。和其它 AI 聊天机器人类似,它给出的答案未必是正确的,需要用户交叉验证。
https://www.amazon.com/b?ie=UTF8&node=17442765011
https://slashdot.org/story/24/07/12/2022234/amazons-ai-chatbot-rufus-is-now-live-for-all-us-customers
#人工智能
爬行殖民银河系 - 极低速条件下的星际殖民
https://www.youtube.com/watch?v=FpXwyDWDww8
https://www.bilibili.com/video/BV1Cn4y1X7uN/
https://www.youtube.com/watch?v=FpXwyDWDww8
https://www.bilibili.com/video/BV1Cn4y1X7uN/
YouTube
Crawlonizing The Galaxy: Settling Space At Ultra-Low Speeds
Visit https://brilliant.org/isaacarthur/ to get started learning STEM for free, and the first 200 people will get 20% off their annual premium subscription.
Science Fiction has shown us humanity exploring the stars at hundreds of times faster than light speed…
Science Fiction has shown us humanity exploring the stars at hundreds of times faster than light speed…
🆒1