首页|DEEPMIND AI OUTDOES HUMAN MATHEMATICIANS ON UNSOLVED PROBLEM
DEEPMIND AI OUTDOES HUMAN MATHEMATICIANS ON UNSOLVED PROBLEM
扫码查看
点击上方二维码区域，可以放大扫码查看
原文链接
NETL
NSTL
The card game Set has long inspired mathematicians to create interesting problems. Now, a technique based on large language models (LLMs) is showing that artificial intelligence (AI) can help mathematicians to generate new solutions. The AI system, called FunSearch, made progress on Set-inspired problems in combinatorics, a field of mathematics that studies how to count the possible arrangements of sets containing finitely many objects. But its inventors say that the method, described in Nature on 14 December, could be applied to a variety of questions in maths and computer science. "This is the first time anyone has shown that an LLM-based system can go beyond what was known by mathematicians and computer scientists," says Pushmeet Kohli, a computer scientist who heads the AI for Science team at Google Deepmind in London. "It's not just novel, it's more effective than anything else that exists today." This contrasts with previous experiments, in which researchers have used LLMs to solve maths problems with known solutions, says Kohli.
NETL
NSTL
