AI 快讯列表关于 AI科研自动化
| 时间 | 详情 |
|---|---|
|
2026-01-23 20:54 |
GPT-5.2 Pro在FrontierMath Tier 4数学测试中创历史新高
据Epoch AI(@EpochAIResearch)报道,GPT-5.2 Pro在高难度FrontierMath Tier 4数学评测中取得了31%的新纪录,远超之前19%的最高分。这一突破显示出AI在解决复杂数学问题上的能力大幅提升,推动了教育科技、科研自动化及数学发现工具等领域的商业机遇。多位数学家在Epoch AI分享中指出,GPT-5.2 Pro具备更强的推理和解题能力,预示着AI数学解决方案在学术和工业领域的市场潜力巨大(来源:EpochAIResearch,2026年1月23日)。 |
|
2025-06-14 21:46 |
特伦斯·陶在Lex Fridman播客上的AI趋势分析:数学与人工智能的深度融合
根据Lex Fridman的推文,特伦斯·陶在其播客访谈中深入分析了人工智能在数学和科学研究中的应用及未来趋势。陶教授指出,AI工具正在加速数学发现、自动化复杂证明,并推动跨学科合作(来源:Lex Fridman Twitter,2025年6月14日)。本次对话强调了AI自动定理证明、预测建模等实际应用,为AI企业在科研自动化领域带来巨大商业机会。 |