ESC
AI 1 分钟阅读

“数学2.0”需要更全面地衡量数学进步的价值

菲尔兹奖得主陶哲轩(Terence Tao)在 Mathstodon 发文探讨“数学2.0”时代的评价体系:传统“数学1.0”时代过分看重谁最先证明某个结果,而在 AI 与形式化证明日益普及的背景下,数学进步的价值应当被更全面地评估,引发数学与 AI 社区关注。

来源:Hacker News

// { const useDarkMode = colorScheme === ‘auto’ ? colorSchemeMediaWatcher.matches : colorScheme === ‘dark’;

element.dataset.colorScheme = useDarkMode ? ‘dark’ : ’light’; };

const updateContrast = () => { const useHighContrast = contrast === ‘high’ || contrastMediaWatcher.matches;

element.dataset.contrast = useHighContrast ? ‘high’ : ‘default’; }

colorSchemeMediaWatcher.addEventListener(‘change’, updateColorScheme); contrastMediaWatcher.addEventListener(‘change’, updateContrast);

updateColorScheme(); updateContrast();

const isRedesignEnabled = ( window.localStorage.getItem(’experiments’)?.split(’,’) ?? [] ).includes(‘redesign’);

if (isRedesignEnabled) { element.dataset.redesign = true; }

})(document.documentElement);

//]]>

陶哲轩:“‘数学1.0’曾十分看重谁最先……” - Mathstodon

页面 JSON-LD 结构化数据声明该内容为社交媒体帖子(SocialMediaPosting),链接为 https://mathstodon.xyz/@tao/117395269325940185

站点元数据显示:域名为 mathstodon.xyz,站点名称为 Mathstodon,运行 Mastodon 4.7.2 版本,开放注册,启用搜索功能与趋势页面,支持图像、视频、音频等多种媒体格式上传(含 jpg、png、gif、webm、mp4、mp3 等常见格式)。

(页面随后列出 Mastodon 支持的全部界面语言及本地化名称,涵盖简体中文、繁体中文(香港)、繁体中文(台湾)、粤语等百余种语言。)

Mastodon

要使用 Mastodon 网页应用,请启用 JavaScript。或者,也可以尝试适用于你所使用平台的 Mastodon 原生应用。