当年正是Erdős推荐陶哲轩去读普林斯顿...【查看原文】
导读几个世纪以来，计算机（机器）一直是数学家的好朋友，他们利用它计算、提出猜想以及进行数学证明。随着交互式定理证明器、机器学习算法和生成式AI等更为先进的工具的出现，机器被更具创新性和深度的方式得到运用。近日，在MSRI（美国数学科学研究所，现改名SLMath）四十周年庆典上，陶哲轩（Terence Tao）对机器辅助数学证明的历史和最新发展进行概述，并对数学中的机器辅助将扮演的未来角色进行预测。他表示：早期的计算机辅助的数学研究以女性为主，并衍生出了一个计算能力单位：“千女时”，一千个使用加法器的女性能
机器学习生成式AI
返朴科普 2023-08-31
GPT-4辅助写论文
GPT-4
新智元 2023-10-10
陶哲轩的论文，又要上新arXiv了！陶哲轩本人在Mastodon上透露了这一消息，顺便介绍了一波自己用的LaTex工具。这是继给GPT-4的代码功能“带货”之后，陶哲轩再一次出手安利AI“神器”。陶哲轩说自己每隔一段时间（5-10年）都会对编辑工具进行更新换代。他介绍，早年间自己是用Word进行排版的，主要是为了使用里面的VB脚本。
CopilotGPT-4编程
量子位 2023-09-04
尽管许多人并不愿意承认，但是很可能，AI会在十年内赶超人类数学家。
ChatGPT
新智元 2023-07-03
数学和AI合作未来
OpenAI
新智元 2024-12-09
贸易战与人民币贬值压力及影响因素分析。
人神共奋 2024-11-28
葫芦娃药业近期股价波动，资金紧张引发关注。
每日资本论 2024-11-28
在米兰冬奥会前的最后一个完整雪季，哪些品牌的营销将脱颖而出？
懒熊体育 2024-11-28
2024年，北京游戏出海企业表现如何？
DataEye 2024-11-28
顺丰港股上市融资，加大国际物流投资。
天下网商 2024-11-28
探索中国乡村之美
文化产业评论 2024-11-28
德国汽车业困境，博世裁员超五千，加速电动化转型。
江瀚视野 2024-11-28
拨云见日，没那么简单。
电商在线 2024-11-28
360亿，两位清华大牛IPO敲钟
投资界 2024-11-28
谁还喜欢喝旺仔牛奶？
斑马消费 2024-11-28
Copyright © 2024 aigcdaily.cn 北京智识时代科技有限公司 版权所有 京ICP备2023006237号-1
