大语言模型离“数学证明高手”还有多远?斯坦福、伯克利、MIT团队提出IneqMath评测标准
KubeConNA2025:探讨生成式AI时代的工具
DeepMind继AlphaFold后再放大招,AlphaGenome能一次性处理百万碱基对,基因组里[…]
AgenticAI&软件开发在Amazon的实践|AICon深圳
极客邦启动2026「AI青禾计划」:QCon&AICon首次向全国高校免费开放
AgenticAI基金会成立,智能体的“Linux时刻”来了!MCP、AGENTS.md集体上车,下一代AI[…]
大语言模型离“数学证明高手”还有多远?斯坦福、伯克利、MIT团队提出IneqMath评测标准