人工智能 – 第 2 页

发布于 2024-11-18

liuzj288 人工智能74 热度1151 字

AI 摘要

刘展均作为参赛选手参加了在成都市树德中学光华校区举行的百模论剑·首届全国“人工智能+”行业应用创新大赛决赛。本次大赛由多个机构联合主办，吸引了300多支队伍参赛，最终128支队伍进入决赛。刘展均的团队展示了项目成果，并在

发布于 2024-10-15

liuzj288 人工智能49 热度2366 字

AI 摘要

陶哲轩近期利用AI技术，在方程理论领域取得了显著进展。他提出一个项目，旨在结合专业和业余数学家、自动定理证明器、AI工具以及证明辅助语言Lean，共同研究4694条幺半群方程定理。目前，项目已进行19天，进度达到99.9

发布于 2024-10-12

liuzj288 人工智能64 热度2100 字

AI 摘要

2024年诺贝尔奖自然科学领域的奖项中，人工智能技术及其应用成为一大亮点。物理学奖授予了在人工神经网络机器学习方面做出奠基性贡献的霍普菲尔德和欣顿，化学奖则授予了使用人工智能设计新蛋白质的贝克，以及开发AlphaFold

发布于 2024-07-17

liuzj288 人工智能48 热度3189 字

AI 摘要

谷歌AI在IMO数学竞赛中表现出色，仅差一分获得金牌。DeepMind的AlphaProof和AlphaGeometry 2系统在比赛中完成了6道题中的4道，每道题都获得满分。AI在几何题上的表现尤其引人注目，Alpha