Egil Karlsen (@3gilKarlsen)

해당 트윗은 새 프로젝트(또는 제품)가 ‘DeepMind의 FunSearch의 영적 확장판(spiritual scaled successor)’처럼 보인다고 평가합니다. 즉, 새로운 솔루션이 FunSearch의 아이디어를 확장·계승하는 느낌을 준다는 의견입니다.

https://x.com/3gilKarlsen/status/2013355142872027289

#deepmind #funsearch #search #ai

I have thought that Google's apparent lagging in applying #ML to its services has been partly the result of being realistic: #llms just is not a good model for search, because of hallucinations, and Google engineers know this.

But Deep Mind keeps finding ways to make ML useful: #alphafold is now showing some potential worth through collaborations with Lilly and Novartis.

#funsearch is showing that the combination of traditional machine reasoning (good, old-fashioned AI, or #gofai) might work as a proof-assistant, and now they've combined symbolic reasoning with a LLM to tackle International Math Olympiad geometry problems :

https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/

Here, the LLM suggests adding constructs to the problem, and the reasoner explores the implications of that construct for solving the problem.

One cool thing: the proofs produced are perfectly readable and human verifiable.

Another cool thing: it trains itself by producing random diagrams, deriving relationships (I suspect there's a lot of algebra involved in this step), then producing proofs for these relationships.

Anyway, this work seems real, and plausibly hype-reduced, and looks like it earns the sobriquet of "#AI"

https://www.technologyreview.com/2023/12/14/1085318/google-deepmind-large-language-model-solve-unsolvable-math-problem-cap-set/5

ICYMI
LLM discovers solution to long-standing scientific puzzle—producing verifiable new info…“It’s not in the training data—it wasn’t even known.”

#FunSearch combines a LLM called Codey, a version of Google’s PaLM 2 that is tuned on #computercode…

research scientist at #DeepMind, Alhussein Fawzi: “To be very honest with you, we have hypotheses, but we don’t know exactly why this works. In the beginning of the project, we didn’t know whether this would work at all.”

https://www.slashinsider.com/funsearch-deepmind-ai-tackles-math/

DeepMind's FunSearch, an AI language model with a fact-checking layer, claims to have solved an unsolvable math problem by generating and verifying millions of responses. The breakthrough is seen as a promising paradigm for solving complex mathematical challenges.

#ai #news #tech #technology #science #google #latest #latestnews #slashinsider #deeptech #emergingtech #artificialintelligence #deepmind #maths #funsearch