漫话开发者 - UWL.ME 精选全球AI前沿科技和开源产品
2024-12-23 talkingdev

人工智能能否解决数学问题?数学家的思考

人工智能领域中,数学能力一直是一个重要话题。随着机器学习技术的不断进步,AI系统似乎已经开始展现出处理复杂数学问题的能力。数学家们对此抱有复杂的情感:一方面,AI的数学能力可以极大地辅助人类解决数学难题,...

Read More
2023-12-18 talkingdev

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

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

Read More