Google推出AlphaGeometry，数学几何能力接近于IMO金牌选手

水木社区手机版

主题:Google推出AlphaGeometry，数学几何能力接近于IMO金牌选手
楼主|nisus|2024-01-18 09:33:55|只看此ID
Google 推出了新的面向数学几何领域的模型 Alpha Geometry，数学几何能力已接近人类奥林匹克金牌选手的水平。

特别值得一提的是：它的训练是基于合成数据而不是现有的数据。

它训练的方式很有特别：先初始生成了十亿个随机几何图形，并全面分析了每个图形中点和线的所有关系。AlphaGeometry 找出了每个图形中所有的证明，并反向追溯出为得到这些证明所需添加的额外几何元素（如果有的话）。

按照谷歌的说法，AlphaGeometry 结合了神经语言模型和符号演绎引擎的优势，形成了一个神经符号系统。这个系统能够共同工作，为复杂的几何定理找到证明。就像“快速思考和慢速思考”理论中所述，一个系统快速提供“直觉”式的想法，而另一个则负责更谨慎、理性的决策。

来源google官方博客

--
FROM 123.120.168.*
1楼|kingwang99|2024-01-18 09:47:49|只看此ID
太强了，看起来逻辑越严谨的科目越容易被AI替代...语言，文学，音乐，艺术类要往后排

【在 nisus 的大作中提到: 】
: Google 推出了新的面向数学几何领域的模型 Alpha Geometry，数学几何能力已接近人类奥林匹克金牌选手的水平。
: 特别值得一提的是：它的训练是基于合成数据而不是现有的数据。
: 它训练的方式很有特别：先初始生成了十亿个随机几何图形，并全面分析了每个图形中点和线的所有关系。AlphaGeometry 找出了每个图形中所有的证明，并反向追溯出为得到这些证明所需添加的额外几何元素（如果有的话）。
: ...................
--
修改:kingwang99 FROM 166.111.152.*
FROM 166.111.152.*
2楼|D600|2024-01-18 09:48:23|只看此ID
几何公理和辅助线相对有限，如果泛化到IMO其他题，估计困难
【在 nisus 的大作中提到: 】
: 标题: Google推出AlphaGeometry，数学几何能力接近于IMO金牌选手
: 发信站: 水木社区 (Thu Jan 18 09:33:55 2024), 站内
:
: Google 推出了新的面向数学几何领域的模型 Alpha Geometry，数学几何能力已接近人类奥林匹克金牌选手的水平。
:
: 特别值得一提的是：它的训练是基于合成数据而不是现有的数据。
:
: 它训练的方式很有特别：先初始生成了十亿个随机几何图形，并全面分析了每个图形中点和线的所有关系。AlphaGeometry 找出了每个图形中所有的证明，并反向追溯出为得到这些证明所需添加的额外几何元素（如果有的话）。
:
: 按照谷歌的说法，AlphaGeometry 结合了神经语言模型和符号演绎引擎的优势，形成了一个神经符号系统。这个系统能够共同工作，为复杂的几何定理找到证明。就像“快速思考和慢速思考”理论中所述，一个系统快速提供“直觉”式的想法，而另一个则负责更谨慎、理性的决策。
:
: 来源google官方博客
:
:
:
: --
:
: ※ 来源:·水木社区 http://www.mysmth.net·[FROM: 123.120.168.*]
--
FROM 123.127.249.44
3楼|kingwang99|2024-01-18 09:52:43|只看此ID
感觉是迟早的事。未来人类的主要作用是发现和提出问题，剩下的由AI和机器人解决...

【在 D600 的大作中提到: 】
: 几何公理和辅助线相对有限，如果泛化到IMO其他题，估计困难
--
FROM 166.111.152.*
4楼|Thulium|2024-01-18 09:53:26|只看此ID
AI制定鸡娃路线？

【在 kingwang99 的大作中提到: 】
: 标题: Re: Google推出AlphaGeometry，数学几何能力接近于IMO金牌选手
: 发信站: 水木社区 (Thu Jan 18 09:52:43 2024), 站内
:
: 感觉是迟早的事。未来人类的主要作用是发现和提出问题，剩下的由AI和机器人解决...
:
: 【在 D600 的大作中提到: 】
: : 几何公理和辅助线相对有限，如果泛化到IMO其他题，估计困难
:
: --
:
: ※ 来源:·水木社区 http://www.mysmth.net·[FROM: 166.111.152.*]
--
FROM 49.74.100.*
5楼|kingwang99|2024-01-18 09:57:32|只看此ID
未来科学发达了，只要你能把娃的各种参数（譬如基因，兴趣，性格，体格，家庭背景，朋友圈等等）都准确输入AI，瞬间模拟几万亿次，找个上佳的培养和发展路线，应该不是不可能的，哈哈

【在 Thulium 的大作中提到: 】
: AI制定鸡娃路线？
:
--
FROM 166.111.152.*
6楼|D600|2024-01-18 09:57:27|只看此ID
现在的大模型是统计归纳的方式，根本谈不上解决问题。没有创新的AI，都是走了邪路
【在 kingwang99 的大作中提到: 】
: 标题: Re: Google推出AlphaGeometry，数学几何能力接近于IMO金牌选手
: 发信站: 水木社区 (Thu Jan 18 09:52:43 2024), 站内
:
: 感觉是迟早的事。未来人类的主要作用是发现和提出问题，剩下的由AI和机器人解决...
:
: 【在 D600 的大作中提到: 】
: : 几何公理和辅助线相对有限，如果泛化到IMO其他题，估计困难
:
: --
:
: ※ 来源:·水木社区 http://www.mysmth.net·[FROM: 166.111.152.*]
--
FROM 123.127.249.44
7楼|kingwang99|2024-01-18 09:59:36|只看此ID
Google这个不是啊，包括alpha go都是从零开始，自我学习和归纳，不是基于现有数据库统计归纳。

【在 D600 的大作中提到: 】
: 现在的大模型是统计归纳的方式，根本谈不上解决问题。没有创新的AI，都是走了邪路
--
修改:kingwang99 FROM 166.111.152.*
FROM 166.111.152.*
8楼|D600|2024-01-18 10:02:30|只看此ID
就是多智能体强化学习吗，一样的不可解释。人可不是完全靠试错来推理问题的
【在 kingwang99 的大作中提到: 】
: 标题: Re: Google推出AlphaGeometry，数学几何能力接近于IMO金牌选手
: 发信站: 水木社区 (Thu Jan 18 09:59:36 2024), 站内
:
: Google这个不是啊，包括alpha go都是从零开始，自我学习和归纳，不是基于现有数据库统计归纳。
:
: 【在 D600 的大作中提到: 】
: : 现在的大模型是统计归纳的方式，根本谈不上解决问题。没有创新的AI，都是走了邪路
:
: --
: ※ 修改:·kingwang99 于 Jan 18 10:00:53 2024 修改本文·[FROM: 166.111.152.*]
: ※ 来源:·水木社区 http://www.mysmth.net·[FROM: 166.111.152.*]
--
修改:kingwang99 FROM 166.111.152.*
FROM 123.127.249.44
9楼|Thulium|2024-01-18 10:24:05|只看此ID
现在的AI和之前的大数据没有本质区别？

【在 D600 的大作中提到: 】
: 标题: Re: Google推出AlphaGeometry，数学几何能力接近于IMO金牌选手
: 发信站: 水木社区 (Thu Jan 18 09:57:58 2024), 站内
:
: 现在的大模型是统计归纳的方式，根本谈不上解决问题。没有创新的AI，都是走了邪路
: 【在 kingwang99 的大作中提到: 】
: : 标题: Re: Google推出AlphaGeometry，数学几何能力接近于IMO金牌选手
: : 发信站: 水木社区 (Thu Jan 18 09:52:43 2024), 站内
: :
: : 感觉是迟早的事。未来人类的主要作用是发现和提出问题，剩下的由AI和机器人解决...
: :
: : 【在 D600 的大作中提到: 】
: : : 几何公理和辅助线相对有限，如果泛化到IMO其他题，估计困难
: :
: : --
: :
: : ※ 来源:·水木社区 http://www.mysmth.net·[FROM: 166.111.152.*]
:
: --
:
: ※ 来源:·水木社区 mysmth.net·[FROM: 123.127.249.44]
--
FROM 49.74.100.*