Continue to push the boundaries of LLM reasoning! Excited to announce SubgoalXL, a joint effort advancing the frontier of AI-powered theorem proving between @HKUniversity (
@xlzhao_hku
, @linzhengisme
, @ikekong
) and @SambaNovaAI
. On miniF2F, a challenging theorem proving
AGENTS
-
SubgoalXL Advances LLM Reasoning for Theorem Proving
By
–
-
Claude: finds files, understands queries, executes and modifies
By
–
It finds files itself, it has a much better understanding of queries, it can run everything for you, and modify everything in multiple files at the same time. And above all, Claude.
-
Group Behavior and Social Systems Matter More Than Individual Focus
By
–
These seem largely individualistically and intellectually focused. Which are certainly interesting — but I think the behavior of groups and of people within groups is often more important. E.g sociology, economics, anthropology, …
-
AI Scientist automates full research pipeline for under $15 per paper
By
–
The AI Scientist: Agentic, fully-automated research pipeline for under $15 per paper Researchers have just created an AI system that can conduct entire research projects from start to finish, potentially revolutionizing how scientific discoveries are made. This "AI
-
Prompt AI for personalized recommendations
By
–
Personalized Recommendations: Prompt: "You are an AI sales assistant. Generate personalized product recommendations based on browsing history." Inputs: • {browsing_history}
• {product_categories} -
Cognitive Performance Enhancement Lacks Intelligence Community Guidance
By
–
Huge measurement problems! But some ways to track goodness. Meanwhile the intelligence community provides no guidance to analysts on how to improve cognitive performance through healthy choices or supplements or medicines or exercise or anything else. We just study tradecraft.
-
AI Scientist Tool Automates Research Like GPT-1 Did
By
–
“We really believe this is the GPT-1 of AI science” As @cong_ml said, many parts of our job is not the “creative part, but it’s 90% of what we do. People will say, I have 100 ideas that I don’t have time for. Get the AI Scientist to do those.” Thanks @dcastelvecchi for writing!
-
Claude permet de modifier les fichiers locaux depuis mobile
By
–
Yeah, but even now there will be loads of things that this one will potentially enable. You will be able to chat and modify your local files with Claude from mobile for instance It still will require a manual sync from the web UI though
-
Software Planning Agent Builds Workflow for Legal Claims
By
–
Here is a software planning agent that builds a workflow agent. It generates a legal claim document!
— Abacus.AI (@abacusai) 30 août 2024
You can ask AI to automate an array of tasks! pic.twitter.com/bx25EuVp1iHere is a software planning agent that builds a workflow agent. It generates a legal claim document! You can ask AI to automate an array of tasks!
-
ChatGPT develops a new homepage inspired by SearchGPT
By
–
BREAKING: ChatGPT is working on a new homepage which looks like SearchGPT It will also support dynamic autocomplete for your prompts as well (doesn't work yet)