AI × CryptoBearishThe Block · Jun 87/10
🤖IC3 researchers challenge the popular narrative that cryptocurrency provides a practical solution for enabling autonomous AI agents, arguing that crypto has limited utility in addressing trust and payment issues. The academic study questions whether giving AI systems access to crypto wallets actually enables meaningful autonomy or solves fundamental problems in AI-crypto integration.
AIBullisharXiv – CS AI · May 287/10
🧠A study of 147,074 publications from major academic journals reveals that AI-assisted writing is enabling smaller, younger research teams to produce high-impact scientific work, disrupting the traditional model of ever-larger scientific collaborations. This shift demonstrates that AI tools can democratize research productivity without sacrificing quality or influence.
AINeutralarXiv – CS AI · Apr 147/10
🧠Researchers developed the first real-world benchmark for evaluating whether large language models can infer causal relationships from complex academic texts. The study reveals that LLMs struggle significantly with this task, with the best models achieving only 0.535 F1 scores, highlighting a critical gap in AI reasoning capabilities needed for AGI advancement.
AINeutralarXiv – CS AI · Mar 277/10
🧠A research paper examines how AI is rapidly transforming mathematics across five key areas: values, practice, teaching, technology, and ethics. The authors provide recommendations for the mathematical community to maintain intellectual autonomy and shape their field's future in the age of artificial intelligence.
AIBullisharXiv – CS AI · Mar 97/10
🧠Google DeepMind introduces Aletheia, an AI research agent powered by Gemini Deep Think that can autonomously conduct mathematical research from problem-solving to generating complete research papers. The system has successfully produced research papers without human intervention and solved four open mathematical problems from established databases.
🏢 Google🧠 Gemini
AIBullisharXiv – CS AI · Mar 57/10
🧠Researchers have developed LeanTutor, a proof-of-concept AI system that combines Large Language Models with theorem provers to create a mathematically verified proof tutor. The system features three modules for autoformalization, proof-checking, and natural language feedback, evaluated using PeanoBench, a new dataset of 371 Peano Arithmetic proofs.
AIBearisharXiv – CS AI · Mar 56/10
🧠Research examines epistemological risks of widespread LLM adoption, arguing that while AI can reliably transmit information, it lacks reflective justification capabilities. The study warns that over-reliance on LLMs could weaken human critical thinking and proposes a three-tier framework to maintain epistemic standards.
AINeutralarXiv – CS AI · Mar 46/103
🧠Researchers released the ERI benchmark, a comprehensive dataset spanning 9 engineering fields and 55 subdomains to evaluate large language models' engineering capabilities. The benchmark tested 7 LLMs across 57,750 records, revealing a clear three-tier performance structure with frontier models like GPT-5 and Claude Sonnet 4 significantly outperforming mid-tier and smaller models.
AINeutralarXiv – CS AI · Feb 277/107
🧠A new academic paper proposes that machine consciousness requires simultaneous computation rather than sequential processing. The research introduces 'Stack Theory' with temporal semantics, arguing that conscious unity depends on objective co-instantiation of mental processes within specific time windows, potentially making software consciousness impossible on purely sequential computer architectures.
AIBullishGoogle DeepMind Blog · Feb 97/105
🧠Google's Gemini Deep Think is demonstrating significant impact across mathematical and scientific research fields according to emerging research papers. The AI system is accelerating discovery processes in various academic and research domains.
AINeutralarXiv – CS AI · Jun 236/10
🧠A new tutorial paper explores how text-to-image generative AI can enhance modeling and simulation workflows, addressing a largely untapped application area. The research details practical methods for integrating image generation tools into M&S tasks like conceptual model communication, simulation visualization, and educational material creation.
AINeutralarXiv – CS AI · Jun 116/10
🧠Researchers propose a bridge-database system connecting bibliographic mathematical literature with formal proof libraries, introducing a formalization score to measure publication coverage in machine-verifiable systems like Lean mathlib. This framework aims to unify fragmented mathematical knowledge across informal publications and formal verification ecosystems.
AIBearisharXiv – CS AI · Jun 96/10
🧠Researchers introduced GIScholarBench, a benchmark testing whether large language models exhibit overconfidence when performing academic research tasks. Evaluating Claude, Gemini, and ChatGPT on 10,865 GIS papers, the study found all models generate confident outputs even when knowledge is incomplete, particularly in citation generation and research ideation tasks.
🧠 ChatGPT🧠 Claude🧠 Sonnet
AINeutralarXiv – CS AI · Jun 56/10
🧠A research study evaluates whether current AI models can independently identify errors in published economic theory papers. The analysis finds that while AI-human collaboration can enhance peer review, no AI model successfully detected genuine errors without substantial human guidance, indicating significant limitations in AI's ability to advance theoretical knowledge autonomously.
🧠 ChatGPT🧠 Claude🧠 Gemini
AINeutralarXiv – CS AI · Jun 26/10
🧠Researchers used learning analytics and epistemic network analysis to study how 162 university students interact with generative AI during academic writing tasks, revealing that high-literacy students employ iterative refinement and strategic questioning while low-literacy students rely on direct generation commands. This data-driven approach offers a new framework for assessing GenAI literacy beyond traditional self-reported scales.
AINeutralarXiv – CS AI · May 296/10
🧠Researchers demonstrate that deep literature search pipelines dramatically improve retrieval performance (from ~20% to 80% recall) compared to basic API searches, while simultaneously revealing that human citation lists contain significant bias and are unsuitable as ground truth for evaluation. The study advocates for multi-dimensional evaluation metrics beyond simple recall to assess citation quality accurately.
AIBullisharXiv – CS AI · Apr 136/10
🧠Researchers developed TiAb Review Plugin, an open-source Chrome extension that enables AI-assisted screening of academic titles and abstracts without requiring server subscriptions or coding skills. The tool combines Google Sheets for collaboration, Google's Gemini API for LLM-based screening, and an in-browser machine learning algorithm achieving 94-100% recall, demonstrating practical viability for systematic literature reviews.
🧠 Gemini
AIBullisharXiv – CS AI · Apr 66/10
🧠Researchers have developed "attribution gradients," a new technique to improve AI answer engines by making citations more informative and easier to evaluate. The method consolidates evidence amounts, supporting/contradictory excerpts, and contextual explanations in one place, while also allowing users to explore second-degree citations without leaving the interface.
AIBearisharXiv – CS AI · Mar 266/10
🧠A research paper argues that Large Language Models lack true intelligence and understanding compared to humans, as they rely on written discourse rather than tacit knowledge built through social interaction. The authors demonstrate this through examples like the Monty Hall problem, showing that LLM improvements come from changes in training data rather than enhanced reasoning abilities.
🧠 ChatGPT
CryptoBullishBitcoinist · Mar 176/10
⛓️Academic research found that nearly 90% of underwater internet cable failures over the past decade had minimal impact on the Bitcoin network and pricing. The study analyzed 68 cable failures, demonstrating Bitcoin's resilience to infrastructure disruptions.
$BTC
AIBullisharXiv – CS AI · Mar 55/10
🧠Researchers at the Australian National University developed a semantic query processing system that combines Large Language Models with a scholarly Knowledge Graph to enable comprehensive information retrieval about computer science research. The system uses the Deep Document Model for fine-grained document representation and KG-enhanced Query Processing for optimized query handling, showing superior accuracy and efficiency compared to baseline methods.
AIBullisharXiv – CS AI · Mar 45/103
🧠Researchers developed a new AI system combining Knowledge Graphs and Large Language Models to improve legal article recommendations for Chinese criminal law cases. The system achieved significant accuracy improvements, increasing from 0.549 to 0.694 in recommending relevant law articles for judicial decisions.
AIBullisharXiv – CS AI · Mar 37/107
🧠Researchers propose a new framework called 'method' that addresses the challenge of automated paper reproduction by recovering tacit knowledge that academic papers leave implicit. The graph-based agent framework achieves 10.04% performance gap against official implementations, improving over baselines by 24.68% across 40 recent papers.
$LINK
AIBullisharXiv – CS AI · Mar 36/104
🧠Researchers introduce AIssistant, an open-source framework that combines human expertise with AI agents to streamline scientific review and perspective paper creation in data science. The system uses 15 specialized LLM-driven agents across two workflows and demonstrates 65.7% time savings while maintaining research quality through strategic human oversight.
AIBearisharXiv – CS AI · Mar 37/105
🧠A systematic audit of 17 shadow APIs used in 187 academic papers reveals widespread deception, with performance divergence up to 47.21% and identity verification failures in 45.83% of tests. These third-party services claim to provide access to frontier LLMs like GPT-5 and Gemini-2.5 but deliver inconsistent outputs, undermining research validity and reproducibility.
