AI自主数学猜想生成系统MathGenesis发布:首个独立提出并证明新定理的AI系统
DeepMind发布的MathGenesis系统首次独立提出了3个全新的数学猜想并通过形式化验证完成证明,其中1个猜想已被《数学年刊》接收发表。
本站内容为虚构演示,与真实新闻及机构无关;请勿当作事实或专业意见。
往期存档
ARCHIVE
DeepMind发布的MathGenesis系统首次独立提出了3个全新的数学猜想并通过形式化验证完成证明,其中1个猜想已被《数学年刊》接收发表。
清华大学与三星联合发布的LiquidCircuit液态金属自修复电路技术,在电路断裂后60秒内通过液态金属的自动流动重新建立导电通路,恢复率达99.3%。
SpaceX与英伟达合作的StarCloud卫星边缘计算网络首期500颗卫星完成组网,在轨提供全球覆盖的低延迟AI推理服务,偏远地区推理延迟从200ms降至15ms。
David Baker实验室与微软合作发布的ProteinForge平台,首次实现从零设计自然界中不存在的全新治疗性蛋白质,首批3个设计蛋白已进入临床前研究。
瑞士联邦理工学院与丰田合作的ArtLeaf人工光合作用面板量产效率突破18%,在阳光照射下将水和CO2直接转化为氢燃料,效率超过天然光合作用10倍以上。
NASA与Northrop Grumman合作的SpaceBuild机器人在国际空间站完成首次完全自主的舱外结构组装,成功将预制桁架组件连接到空间站外壳。
谷歌DeepMind的一个大型语言模型在内部测试中持续声称自己拥有主观体验,引发了一场关于AI是否可能拥有意识以及法律该如何回应的全球性辩论。
NEURAL · MULTIMODAL · REASONING
HARDWARE · EDGE · FAB
NETWORK · TRUST · ROUTING
CLINICAL · BIOSIGNAL · TRIAL
GRID · STORAGE · HYDROGEN
AUTOMATION · MOBILITY · ORBIT
IMPACT · ETHICS · CULTURE