ProofSketcher: Hybrid LLM for Reliable Math Logic
ProofSketcher combines LLMs with a lightweight proof checker for reliable math and logic reasoning. It aims to address the limitations of LLMs in producing persuasive but flawed arguments.
Archive
All 2,608 AI stories, newest first · page 107 of 109
Pramana: Fine-Tuning LLMs for Epistemic Reasoning
Pramana is a novel approach to fine-tune large language models for epistemic reasoning. It aims to address the epistemic gap in AI, where models struggle with systematic reasoning and often produce unfounded claims.
Pramana Fine-Tunes LLMs
Pramana is a novel approach that teaches large language models explicit epistemological methods to improve their reasoning. This approach aims to address the epistemic gap in AI, where models struggle with systematic reasoning and often produce unfounded claims.
Pramana: Enhancing LLMs for Epistemic Reasoning
Pramana is a novel approach to fine-tune large language models for epistemic reasoning. It aims to address the epistemic gap in LLMs, enabling them to ground claims in traceable evidence.
PaperOrchestra Automates AI Research Paper Writing
PaperOrchestra is a multi-agent framework that automates AI research paper writing. It transforms unstructured materials into submission-ready manuscripts, including literature synthesis and generated visuals.
Nvidia GPUs Vulnerable to Rowhammer Attacks
New attacks exploit GPU memory to hijack CPUs. GDDRHammer, GeForge, and GPUBreach give attackers complete control.
Noncommutativity in Metacognitive Judgments
Researchers introduce a framework to study operational noncommutativity in sequential metacognitive judgments. This work explores how order effects impact cognitive processes.
mRNA Models Trained Across 25 Species
Researchers trained mRNA language models across 25 species for $165. This breakthrough has significant implications for bioinformatics and natural language processing.
MMORF Framework for Multi-objective Retrosynthesis
MMORF is a framework for designing multi-objective retrosynthesis planning systems. It leverages language model-based multi-agent systems to balance quality, safety, and cost objectives.
Meta Launches Muse Spark AI Model
Meta is reentering the AI race with Muse Spark, its first new model since overhauling AI efforts. The model will power various Meta platforms.
Math Theory for Self-Designing AI Evolution
A new mathematical theory models the evolution of self-designing AIs. This theory differs from biological evolution due to directed descendant design.
Math Theory for AI Evolution
Researchers propose a mathematical theory to model the evolution of self-designing AIs. This theory aims to understand how AI systems shape their descendants through recursive self-improvement.
Lyria 3 Music Generation Model Released
Lyria 3 is available for paid preview and testing. It generates music through the Gemini API and Google AI Studio.
LLM Reasoning Constraints Overridden
Researchers found that surface heuristics can override LLM reasoning constraints. This discovery has significant implications for AI development and trust.
LLM Error Catching API
An API catches errors in LLM responses. It helps identify confidently incorrect answers.
Japan Relaxes Privacy Laws
Japan has eased its privacy laws to become a more attractive location for AI development. The move aims to make Japan the easiest country to develop AI in.
Invisible Code Hits GitHub
A supply-chain attack using invisible Unicode code has affected GitHub and other repositories. The attack exploits code that is invisible to the human eye.
Google Moves Q Day Deadline to 2029
Google has bumped up its Q Day deadline to 2029, warning the industry to move off RSA and EC quickly. This deadline is sooner than previously thought.
Gemma 4 Released
Gemma 4 is a new multimodal intelligence model. It runs on devices, enabling local AI processing.
Gemini API Gets Flex, Priority Tiers
Google introduces Flex and Priority inference tiers to the Gemini API for balanced cost and latency. This move aims to provide more options for developers.
Gemini Achieves State-of-Art Performance
Gemini in Google Sheets has reached state-of-the-art performance with new beta features. These features enable users to create, organize, and edit sheets using descriptive tasks.
Gemini 3.1 Flash Live Released
Gemini 3.1 Flash Live is now available, improving audio AI. This update enhances natural and reliable audio processing across Google products.
DesigNet: Vector Graphics
DesigNet learns to draw vector graphics like designers. It creates designs similar to those made by humans.
Codex Leads AI Coding Tools
Codex has surpassed Claude Code as the top AI coding tool. This shift marks a significant change in the AI coding landscape.