90后上海女生，成美国数学大奖首位女性华人得主！获评委陶哲轩盛赞

作者：新智元发布时间：2024-11-06

【新智元导读】由陶哲轩担任评委的2024年美国塞勒姆奖，由华人女数学家王艺霖和阿根廷数学家Miguel Walsh获得！来自上外附中的91年上海女生王艺霖，成为塞勒姆奖首位女性华人得主。最近，美国...【查看原文】

相关资讯

陶哲轩：计算机辅助数学证明的历史

导读几个世纪以来，计算机（机器）一直是数学家的好朋友，他们利用它计算、提出猜想以及进行数学证明。随着交互式定理证明器、机器学习算法和生成式AI等更为先进的工具的出现，机器被更具创新性和深度的方式得到运用。近日，在MSRI（美国数学科学研究所，现改名SLMath）四十周年庆典上，陶哲轩（Terence Tao）对机器辅助数学证明的历史和最新发展进行概述，并对数学中的机器辅助将扮演的未来角色进行预测。他表示：早期的计算机辅助的数学研究以女性为主，并衍生出了一个计算能力单位：“千女时”，一千个使用加法器的女性能

机器学习生成式AI

返朴科普 2023-08-31

陶哲轩：ChatGPT已加入我的数学工作流

ChatGPT，已经成为天才数学家陶哲轩的研究助手了！最近这些日子，陶哲轩对AI可是青眼有加，甚至在网上只谈论一个话题：AI，特别是大语言模型在数学研究中的应用。

ChatGPT

量子位 2023-03-11

“数学天才”陶哲轩也爱上 GPT-4：节省了大量繁琐工作

网友：“这种事情他没有助手吗？”

GPT-4

CSDN 2023-04-13

数学天才陶哲轩：GPT-4无法攻克一个未解决的数学问题，但有帮助！

编辑：桃子【新智元导读】数学天才陶哲轩的研究也用上了AI工具GPT-4。有了GPT-4，你想做的，只需复制粘贴一键完成！当红炸子鸡ChatGPT，也成为数学天才陶哲轩的研究工具了。近日，他在

GPT-4 ChatGPT

王树松 2023-04-19

陶哲轩用大模型解决数学问题：生成代码、编辑LaTeX公式都很好用

今天，陶哲轩又尝试用ChatGPT生成可采用LaTeX表达式的程序代码，并最终得到了一段可用的VSCode代码。陶哲轩表示ChatGPT能够生成涉及正则表达式的复杂代码片段，并且很有效。

编程 ChatGPT

机器之心Pro 2023-09-06

近期资讯

SaaS到底是什么？从概念、细分结构、特点等方面带你详细了解

最近在忙着写书的事情，不知不觉已经断更2个月了，最近重新调整了计划，决定重新开启更新啦！saas是一种基于云计算的软件交付模式。在这种模式下，软件应用程序被部署在云端服务器上，并通过互联网向用户提供服务。用户无需购买、安装和维护软件，只需通过浏览器或移动应用等客户端访问和使用软件功能。

人人都是产品经理 22小时前

中国市场专属！三星W25/W25 Flip今晚发布：参数汇总来了

快科技11月6日消息，今晚7点，中国电信联合三星将召开心系天下系列发布会，推出三星W25、W25Flip机型。

驱动之家 22小时前

苹果喊话iPhone 13/14钉子户：等等党们是时候换16 Pro了

快科技11月6日消息，今天，苹果公司通过官方公众号发文：“iPhone等等党，是时候了”。在公众号中，苹果表示，iPhone16Pro方方面面都up了，iPhone13Pro、iPhone14Pro用户是时候升级了。

快科技 22小时前

金台资讯 23小时前

三星进博会七大展区全揭秘，创新科技引领消费升级

进博会上，第七次赴约的三星以“AIforAll”为主题，以七大展区全方位展示了在半导体科技、显示技术、智能家居解决方案、医疗健康设备以及可持续发展等领域的前沿成果与创新突破。

澎湃新闻 22小时前

云深处DR01人形机器人：探索具身智能的新篇章

近日，云深处科技推出了一款颇具特点的人形机器人——DR01，这款大型仿人机器人在公开展示中体现了强大的稳定性和平衡能力，特别是对野外随机复杂环境的适应能力。DR01基于强化学习智能算法，即使在路面打滑或外部推力干扰下，也能快速恢复平衡并保持稳定行走。

砍柴网 21小时前

达能爱他美至熠系列进博首秀

11月6日，第七届进博会期间，达能发布了全球首款含有“3D乳黄金球”的婴幼儿配方奶粉——爱他美至熠系列。达能中国、北亚及大洋洲总裁谢伟博表示：“达能一直致力于把全球前沿的科学技术与精准的本土市场洞察融汇贯通，以更好服务中国消费者。因为中国消费者坚信营养对全生命周期健康有着深远影响，并且对于创新科技和产品充满热情。

北青网 22小时前

美的空调怎么样？节能静音新标杆，国补助力，性价比之王

作为国内领先的家电制造商，美的不仅在国内享有盛誉，在国际市场同样占据着重要地位。尤其是近年来推出的静优风系列空调，更是以其卓越的静音效果和节能特性，赢得了广大消费者的青睐。原价接近六千元的这款高性能空调，在享受国家家电节能补贴后，实际支付价格仅为约5300元。

小米地瓜 22小时前

90后上海女生，成美国数学大奖首位女性华人得主！获评委陶哲轩盛赞

推荐体验

相关资讯

陶哲轩：计算机辅助数学证明的历史

陶哲轩：ChatGPT已加入我的数学工作流

“数学天才”陶哲轩也爱上 GPT-4：节省了大量繁琐工作

数学天才陶哲轩：GPT-4无法攻克一个未解决的数学问题，但有帮助！

陶哲轩用大模型解决数学问题：生成代码、编辑LaTeX公式都很好用

近期资讯

SaaS到底是什么？从概念、细分结构、特点等方面带你详细了解

中国市场专属！三星W25/W25 Flip今晚发布：参数汇总来了

苹果喊话iPhone 13/14钉子户：等等党们是时候换16 Pro了

史上第一次，英特尔在数据中心市场输给了AMD

运达科技：公司的列车巡检机器人为轮式/轨式复合运动机器人

2024全国智慧医保大赛在渝落幕

三星进博会七大展区全揭秘，创新科技引领消费升级

云深处DR01人形机器人：探索具身智能的新篇章

达能爱他美至熠系列进博首秀

美的空调怎么样？节能静音新标杆，国补助力，性价比之王

推荐体验

AIGC重要产品

AI对话：类ChatGPT产品体验

好用的AI绘画工具

火热的AIGC产品

AIGC近期要闻

大公司发布的大模型产品都有哪些？

政府对AIGC的扶持政策

AIGC对就业的影响：我们会失业吗？

AIGC产业影响

AIGC对内容创作的影响

AIGC对绘画设计领域的影响

AIGC对各行各业的影响