Announcing LeanAgent: the first life-long learning agent for formal theorem proving in Lean. LLMs have been integrated with interactive proof assistants like Lean for theorem proving with 100% accuracy. So far, these LLMs are static, cannot learn new knowledge online, and
RESEARCH
-
Are We Sleepwalking Into Advanced AI Futures?
By
–
I see we have much in-common in our thoughts about the future, @BrainBlenderTec
. Sometimes I wonder if anyone is really listening, if I'm writing for nothing about what's to come with more sophisticated #AI algorithms, or if we are all just sleep walking. Maybe it's easier to -
CoRL 2024 Program Announced for Munich Conference
By
–
Conference on Robot Learning (CoRL) program just announced for Munich Nov 6-9.
@corl_conf
https://
corl.org/program/papers -
HuggingFace Paper Explorer: Extended Research Paper Discovery Tool
By
–
HuggingFace Paper Explorer A simple wrapper for HuggingFace's daily paper page that extends the time range for exploring top AI research papers.
-
Academic Research Integrity and Quality Standards Under Scrutiny
By
–
but not exactly one that improves the quality of the kind of researchers that are getting in these roles. Or the ones getting tenure. Yeah, I mean, sometimes there's guardrails for a reason. Not making up papers? Probably a good one. /end alttext >>
-
AI Democratization and Resume Padding in Academic Careers
By
–
ALEX HANNA: It comes up so often here, right? If your idea of democratize is to allow people to pad out their resumes and try to get this through a process of getting tenure or getting a job, sure, I guess that's a version of democracy, >>
-
Bender Critiques AI Scientist’s Democratization Rhetoric
By
–
(Reading) "This cost, and the promise the system shows so far illustrate the potential of The AI Scientist to democratize research and significantly accelerate scientific progress." EMILY M. BENDER: Democratize research? There's that 'democratize' again. >>
-
AI Scientist Achieves Compute Efficiency at $15 Per Paper
By
–
ALEX HANNA: So the next bit is pretty gross as well. (Reading) "The AI Scientist is designed to be compute efficient. Each idea is implemented and developed into a full paper at a cost of approximately $15 a paper." (laughter) >>
-
Stop Making AI Scientist Happen: LLMs and Fake Research
By
–
Alttext for video: Audiogram with Mystery AI Hype Theater 3000 logo, title: "Episode 42: Stop Trying to Make 'AI Scientist' Happen” and subtitle “Fake research papers and the empty promise of LLMs ‘democratizing’ research” >>
-
Stop Trying to Make AI Scientist Happen: Debunking Hype
By
–
Mystery AI Hype Theater Episode 42: Stop Trying to Make 'AI Scientist' Happen
— @emilymbender.bsky.social (@emilymbender) 11 octobre 2024
In which @alexhanna and I go deep on claims of an autonomous scientist — or try to, but there's no depth there.https://t.co/LPt8eHNFYs
Thx to @ctaylsaurus for production! pic.twitter.com/xxmZVIlZIZMystery AI Hype Theater Episode 42: Stop Trying to Make 'AI Scientist' Happen In which @alexhanna and I go deep on claims of an autonomous scientist — or try to, but there's no depth there. https://
buzzsprout.com/2126417/episod
es/15900785-episode-42-stop-trying-to-make-ai-scientist-happen-september-30-2024
… Thx to @ctaylsaurus for production!