漫话开发者 - UWL.ME 精选全球AI前沿科技和开源产品
2026-03-24 talkingdev

AI攻克前沿数学难题:GPT-5.4 Pro成功解决超图拉姆齐问题

人工智能研究机构Epoch近日发布报告,确认其最新模型GPT-5.4 Pro成功解决了一个长期悬而未决的前沿数学开放问题——超图上的拉姆齐风格问题。该问题属于组合数学的核心领域,要求构造尽可能大的超图,使其不具备某个易...

Read More
2025-12-12 talkingdev

前沿探索:机器学习研究亟待解决的四大开放性问题

近日,一篇题为《Prompts for Open Problems》的文章在机器学习研究社区引发了广泛讨论。文章作者系统性地提出了四个具有高度前瞻性和可行性的研究方向,旨在推动领域突破现有范式。首先,“基于设计的机器学习”倡导...

Read More
2023-12-18 talkingdev

DeepMind发布的AI技术在数学领域的应用引人注目

DeepMind最近在自然杂志上发表了一篇名为FunSearch的论文,该论文使用LLM引导的函数搜索,寻找数学和计算机科学中的开放问题的解决方案。它解决了capset问题,并发现了迄今为止最大的capsets。FunSearch的算法可以在...

Read More