The current pace of development in mathematics is incredible. Independent researchers…
This is a AI post classified by AGK Intelligence as AI agents (a launch), kept by the AI Radar because it carries real work, not commentary.
The current pace of development in mathematics is incredible. Independent researchers and AI labs are formalizing large swaths of mathematical infrastructure. But there is one catch: understanding Lean does not always feel natural. After a period of preparation, I am excited to launch a new project, Agentic Approach to Computer Algebra Systems, generously supported by Renaissance Philanthropy through its AI for Math Fund 2026. The project will be shared between Adam Mickiewicz University and Warsaw University of Technology. Over the next two years, we will focus on building tools and exp
Posted by Bartosz Naskręcki (15.7k followers) 1 days ago · 152 likes · 7.3k views · view the original post on X. Kept by the AI Radar as AI agents.
More AI work like this
- We’ve been hard at work trying to make models work with harnesses better. The best thing… — @LysandreJik
- Brilliant paper on optimizing agent environments. — @dair_ai
- 🚨 JUST IN: @Grokiefun launches a new platform where AI-powered Grok bots can CREATE and… — @blocknewsdotcom
- i’ve tested dozens of AI agents. — @gippp69
- This Grok Bot tests if an online store is optimized for Grok Bot. — @BrianRoemmele
- Build a personal agent with search. — @aiDotEngineer
- What we shipped this week. — @autonomous_labs
- your Hermes Agent now shows you pictures and screenshots right in the terminal. — @witcheer
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 65.6k posts from 5k X accounts over the last 14 days, 10.4k tools, 19 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 15:10 UTC. Full method.