AI资讯新闻榜单内容搜索-AI数学

关键词: AI新闻,claude,AI数学,人工智能

芬兰赫尔辛基大学逻辑学家Jan von Plato借助Claude解读哥德尔16本工作簿，梳理出663条定理雏形，其中400条经形式化验证成立，并还原了哥德尔接近证明选择公理独立性的关键论证。

关键词: AI新闻,AI数学,杨植麟,姚期智

姚期智、杨植麟等发表论文并开源TCSExam基准，GPT-6 Astra以71.9分居首、Kimi K3.1 Pro得57.4分，所测模型均未独立攻破30道开放猜想，但部分数学结果刷新了既有边界。

关键词: AI新闻,Gemini 4 Carbon,AI数学,AI密码学

4周时间，650万行证明，困扰软件安全研究者多年的难题终于破解，还得靠AI啊。

关键词: AI新闻,openai,AI数学,人工智能

10月6日，OpenAI一口气公开了722篇由内部AI模型生成的数学手稿。

关键词: AI新闻,openai,AI数学,人工智能

人类卡了几十年的数论悬案，AI仅用8页纸就给秒了？

关键词: AI新闻,AI数学,代数世界模型,姚期智

「让AI像牛顿一样思考」，这件事，终于有望了。

关键词: AI新闻,openai,AI数学,奥特曼

OpenAI还有数学发现没公开？

关键词: AI新闻,AI数学,CFSG,人工智能

Axiom的AxiomProver用24天将有限单群分类定理（CFSG）形式化，生成4310万行Lean代码，并发现34处重大逻辑偏差、修补不平衡群定理漏洞及证明新定理。

关键词: AI新闻,openai,AI数学,Anthropic

计算复杂性理论要变天了。

关键词: AI新闻,AI数学,Axiom Math,人工智能

100 多位顶尖数学家，耗费数十年，写下 1.5 万页证明。