OpenAI公布Astra推动10项数学研究进展
OpenAI发布一份249页报告，称未发布模型Astra在群论、高维几何、算子代数等领域推动10项数学与理论计算机科学进展，并公开证明及部分Lean形式化验证；相关成果仍有待学界进一步检验。
来源：WenxueCity
金丝头发的香菜
PhD/postdoc/AP也要被替代了吗
pze168
@金丝头发的香菜 目前来看 生化环材这种实验类phd还能干几年
qlxf
好好跟人类学家比比实用的大模型，不要天天搞这种新闻。
18M
“据wenxuecity报道” 😂
hongyang
@pze168 材是没用了。多少材料的大佬都是故事大王，做出来的结果没任何重复性，proposal也是一个比一个放卫星天马行空的，到结题都是一地鸡毛。比编故事谁比得过ai？
3939199
招一帮数学家帮忙打广告
yF68U
@qlxf 其实我也挺好奇的，不知道大家对这个成果是什么看法。数学证明的实用性很难说，至少immediately可见的用途远不如AI在生物医药领域或工程领域的作用，而后者是Anthropic重点focus的对象。感觉OpenAI在数学上的突破虽然看上去很厉害，但似乎并没法对社会做出肉眼可见的贡献
