每天听简报，了解最新科技、AI、软件资讯
西蒙斯基金会近日宣布联合安索匹克与开放人工智能，共同出资一千五百万美元设立数学专项基金，协助学者群体应对智能技术带来的研究变革。该基金此前曾长期资助形式化证明工具精益的研发，本次计划将面向全球开放课题申请，由学者主导评估人工智能辅助生成的证明结果，并在基础科学领域提供专属算力。基金会主席强调，规则与标准的制定应当由数学共同体驱动，而非受制于商业科技公司的单方议程。评论区讨论指出，这一举措虽然为缺乏算力的理论数学家提供了稀缺资源，但也引发了学界是否正在沦为模型测试场的担忧与分歧。
进度保存在本设备 · 登录同步