核心内容摘要
AI解题与几何推理：AlphaGeometry自动几何证明工具全解析
点击蓝字关注我们AI TIME欢迎每一位AI爱好者的加入AITIME01AAAI 2026 Outstanding Paper Award北京时间1月22日第40届AAAI人工智能大会AAAI 2026在新加坡揭晓多项重要论文奖项。
本届会议共收到来自全球的23,680篇论文投稿最终录用4,167篇录用率为
1
6%。
经严格评审仅5篇论文荣获最佳论文奖。
其中同济大学计算机科学与技术学院胡亮教授与其指导的博士研究生黄伟泉、硕士研究生武澳奇联手微软、澳大利亚麦考瑞大学的学者合作完成的研究成果入选AAAI“杰出论文奖”AAAI2026年会现场AITIME02观看地址A微信视频号直播点击预约AI TIME 视频号直播BBilibili直播进入Bilibili直播间观看提问有可能会被选中由讲者回答欢迎关注AITIME论道 Bilibili 观看更多讲者回放AITIME03加入群聊添加AI TIME小助手发送“0130”将拉您进“AI TIME 交流群”往期精彩文章推荐关于AI TIMEAI TIME源起于2019年旨在发扬科学思辨精神邀请各界人士对人工智能理论、算法和场景应用的本质问题进行探索加强思想碰撞链接全球AI学者、行业专家和爱好者希望以辩论的形式探讨人工智能和人类未来之间的矛盾探索人工智能领域的未来。
迄今为止AI TIME已经邀请了2000多位海内外讲者举办了逾800场活动超1000万人次观看。
我知道你在看提出观点表达想法欢迎留言点击阅读原文进入直播间点击蓝字关注我们AI TIME欢迎每一位AI爱好者的加入AITIME