何恺明团队发布多模态Harness框架
多模态模型的视觉原生Harness，来了！
研究报告
丘成桐弟子再立功，广义庞加莱猜想证明首次形式化验证！
新智元报道 就在刚刚，数学界又有大消息了。9月，AI成功形式化验证…
MIT教授绝望：OpenAI攻克的千禧年难题，人类已经看不懂了！
新智元报道 最近，全世界的数学圈都被AI核爆了。OpenAI一口气…
前OpenAI员工做出不会聊天的AI！刚融8.7亿美元，上线两周老东家就跟了
新智元报道 一个不会陪你聊天的AI，刚拿到8.7亿美元融资！10月…
联想天禧自研代码智能体TianxiCode斩获SWE-bench-Live全球第一
联想天禧AI自主研发的专业代码智能体框架TianxiCode 以71%的…
字节找到了DeepSeek时强时弱的原因
DeepSeek的神鬼二象性被字节Seed团队逮到了。 同一道题，什么都…
《柳叶刀》研究表明：AI 有望改善医患关系
Google 研究成果首次登上《柳叶刀》主刊
ChatGPT踢到铁板了！能破解千禧数学难题，但论文复现率低至13.98%？
PaperBenchX为代表的基准或许能更好地衡量AI的科研实力
GPT-6今起免费用！拒答变少，话变多了
免费用户也能用上GPT-6了！ OpenAI宣布，GPT-6开始向Cha…
刚刚，诺贝尔化学奖揭晓！95岁老人破解了生命为何只用「一只手」
新智元报道 就在刚刚，2026年诺贝尔化学奖公布！这届化学奖，颁给…