「数学家Paul Erdős」共找到 88 篇相关文章
一杯咖啡,3亿美金!斯坦福天才少女退学创业,Meta AI大牛排队加入
2024年,斯坦福博士生Carina Hong与前Meta AI研究员交谈后,退学创办Axiom Math,目标打造「AI数学家」。公司首轮融资6400万美元后估值3亿美元,吸引Meta等公司顶尖AI人才,虽面临竞争,但前景广泛。
陶哲轩转发!华人数学博士后反超DeepMind AI,停滞18年数学问题1个月内3次突破
DeepMind的AlphaEvolve打破集合和差问题18年纪录,华人博士后Fan Zheng等数学家出手反击。人类用测度集中性少量辅计算机,1个月内该问题3次突破,陶哲轩称不同方法可互补推动数学进步。
IMO题库“过时”了!OpenAI内部模型挑战最新First Proof,做了7天错了一半
谷歌发布Gemini 3 Deep Think爆火后,OpenAI用未发布内部模型,一周内尝试解答10道来自数学家科研现场的真实问题,5道基本正确。这些题取自真实研究,切断模型“背答案”可能,意味着自主推理能力进化。
我是微软工程师,编程了30多年,如今我几乎不再编程了
微软资深工程师 Paul Payne 分享编程 30 多年感受,认为 AI 正颠覆软件工程领域。他所在团队研究 LLM 驱动系统,系统从程序员手中接走大量工作,Amplifier 等工具让编程变得更简单,人类程序员价值将升华。
科学家要失业了?GPT-5仅用18分钟解出黑洞方程,效率碾压人类数月!
2026年AI成科学家新战友,从破解优化难题到重现黑洞对称性,加速科学发现。数学家与ChatGPT合作完成证明,物理学者用GPT-5 Pro快速解黑洞方程,OpenAI还助力攻克生物学难题。
90后华人副教授突破30年数学猜想!结论与生成式AI直接相关
90后华人数学家Yuansi Chen攻破困扰数学界30多年的塔拉格兰卷积猜想,论文精确到一个log log η因子。此研究为理解高维离散空间平滑化提供论证,与机器学习、生成式AI密切相关。
Sam Altman被纽约客指控撒谎成性
纽约客调查指Sam Altman撒谎成性,如将安全承诺当融资工具,骗董事会等。Paul Graham私下指其撒谎,公开却替他洗地。出走的Dario创办Anthropic,收入反超OpenAI,产品更受开发者青睐。
奥特曼恩师力挺19岁少年!比AlphaFold快4倍,只杀害虫不伤人
2024年,18岁的Tyler Rose和19岁的Navvye Anand创办Bindwell,将AI药物研发技术用于农业,构建基础模型,研发出比AlphaFold快4倍的模型。奥特曼恩师Paul Graham建议卖知识产权授权,公司获600万美金融资。
OpenAI被曝IMO金牌「造假」,陶哲轩怒揭内幕!
OpenAI高调宣称摘下IMO数学金牌,却被组委会内部人士爆料未与官方合作、无视规则提前官宣。菲尔兹奖得主陶哲轩暗指其成绩存疑,网友也不满其炒作。UCLA教授认为大模型短期难取代数学家。
深圳SEO&GEO大会:搜索没死,只是竞争规则变了!
深圳SEO&GEO大会探讨搜索新形势,多位嘉宾分享见解。如Zac老师认为AI增长不代表搜索失价值,SEO应随搜索逻辑升级;Paul老师提出大品牌应将SEO目标转向争答案席位等。