Deepmind 还是厉害，AI 做 IMO 题达到了银牌水平。前两年咋就被 OpenAI 抢了风头呢

https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

 

所有跟帖： 

• 不惊讶。谷歌在AI的研究上绝对没话说。 -芭蕉树下的倩倩- ♀ (0 bytes) () 07/25/2024 postreply 10:36:01

• 探春堪称懂后，可以和懂王配对。嘿嘿 -Feinbery- ♂ (0 bytes) () 07/25/2024 postreply 10:43:40

• 他们为什么不用AI去试试Millennium math problems呢？ 为什么要局限在人类已经有答案的问题？ -trivial- ♀ (0 bytes) () 07/25/2024 postreply 10:37:17

• 可能不会做人类也做不出的吧 -专业潜水妈- ♀ (0 bytes) () 07/25/2024 postreply 10:43:45

• 现在每次AI做题，不是高考题就是竞赛题。可是这些大家都知道答案啊 -trivial- ♀ (135 bytes) () 07/25/2024 postreply 10:48:23

• 真达到那水平是不是数学家都要失业了，哈哈 -STEMkid- ♂ (0 bytes) () 07/25/2024 postreply 10:46:19

• 下棋的都失业了吗？ -trivial- ♀ (0 bytes) () 07/25/2024 postreply 10:51:21

• 人又不和 AI 比赛。研究不一样啊，AI 要是解决了所有问题，以后的研究就全是调 AI 了 -STEMkid- ♂ (0 bytes) () 07/25/2024 postreply 10:55:56

• 研究可以是问AI 合适的问题。 -trivial- ♀ (359 bytes) () 07/25/2024 postreply 11:04:46

• 结构生物学，确实需要的工位越来越少。AI 影响的另一个领域 -oryzivore- ♂ (0 bytes) () 07/25/2024 postreply 11:00:21

• 这是好事，AI 发挥了它的作用，也没有能取代所有生物学家。 -trivial- ♀ (0 bytes) () 07/25/2024 postreply 11:21:12

• 有些数学问题是无法在有限步骤的逻辑里证实或证伪的，就像Turing Machine Halting Problem一样。 -芭蕉树下的倩倩- ♀ (0 bytes) () 07/25/2024 postreply 11:01:40

• 那也可以去探讨millennium problems 是否属于你说的这类。 -trivial- ♀ (0 bytes) () 07/25/2024 postreply 11:11:36

• not sure if he even understands what you meant -我是谁的谁- ♂ (0 bytes) () 07/25/2024 postreply 11:29:08

• 这其实只是个简单的逻辑悖论。也不是简单说无解，Decision problem就是关于问题是不是decidable的研究 -STEMkid- ♂ (0 bytes) () 07/25/2024 postreply 11:12:00

• 真傻假傻啊？这是训练AI，就是刷题。难道你要训练你家孩子刷题当机器人？ -DogandGod- ♂ (27 bytes) () 07/25/2024 postreply 11:04:18

• 有毛病吧 -trivial- ♀ (0 bytes) () 07/25/2024 postreply 11:12:52

• 看到本质了 -两女宝妈- ♀ (0 bytes) () 07/25/2024 postreply 11:51:27

• 问好你家小机器人。 -DogandGod- ♂ (0 bytes) () 07/25/2024 postreply 11:53:06

• 谢谢自证 -两女宝妈- ♀ (0 bytes) () 07/25/2024 postreply 12:00:39

• 人还是一些乐趣的，即使AI都会 -zaocha2002- ♀ (0 bytes) () 07/25/2024 postreply 10:51:15

• 以后是工程师标配的新型计算器，人手一个alpha 机 -oryzivore- ♂ (0 bytes) () 07/25/2024 postreply 11:03:21