Claude
共 49 篇文章
📅 09-06
韦神主攻的千禧年难题 被Claude攻破了?
摘要:原来,首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者!昨日,我们报道了费马大定理的证明被 Claude 首次形式化,其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是,我们注意到了
📅 09-04
GPT-6正式发布 OpenAI:欢迎来到AGI时代
摘要:万众期待的GPT-6 Astra和GPT-6 Astra Pro正式发布!GPT-6 Astra是世界上最智能、最协调的模型,为Computer use、Browser Use、软件工程、网络安全、科学和专业工作树立了新的标杆。 AG