The Laravel AI SDK and MCP package now have MCP client support. This means you can connect your Laravel agents to a real MCP server with minimal code.
Spin up the client, then spread its tools right into your agent's ๐๐๐๐๐() array.
Now your agent can open issues, review PRs, and search repos - alongside your own tools. ๐ค
https://t.co/wE1HxcMSLY
AI agents are advancing research-level math. ๐
Iโm thrilled to share @GoogleDeepMindโs AlphaProof Nexus - an agentic framework for formal proof search powered by Gemini.
When applied to a set of open formal math problems, our agent autonomously solved:
โ 9 open Erdลs problems (including two open for 56 years!)
โ 44 Online Encyclopedia of Integer Sequences (OEIS) problems
โ A 15-year-old open problem in algebraic geometry โ A 7-year-old open question in min-max optimization
We are collaborating with mathematicians across disciplines - from combinatorics and graph theory to quantum optics. Ultimately, these results show the massive potential of even simple agentic loops powered by Gemini.
Read the paper here: https://t.co/c5M9ZjRXU1
@taylorotwell Is it possible to duplicate/clone an application once it is set up? It can be very useful when you need to run the same setup multiple times.
New SOTA public submission to ARC-AGI:
- V1: 94.5%, $11.4/task
- V2: 72.9%, $38.9/task
Based on GPT 5.2, this bespoke refinement submission by @LandJohan ensembles many approaches together
@moondreamai First of all, you guys are doing great work! There is one thing I want to point out, that is not working yet, if you ask "Select a single grape" all grapes will be selected, instead of a single one.
@AI_Integrated_S@claudeai I agree one should always review the skills one installs. That is true, but then again, when someone has already spend a lot of time defining a skill, it is worth appreciating their work.