Knowledge catalogue
arXiv:2603.16091v2 Announce Type: replace-cross Abstract: In factual question answering, many errors are not failures of access but failures of commitment: the system retrieves relevant evidence, yet
arXiv:2604.19459v1 Announce Type: new Abstract: Formal verification guarantees proof validity but not formalization faithfulness. For natural-language logical reasoning, where models construct axiom s
Introducing Kimi K2.6 from @Kimi_Moonshot, a multimodal agentic model with Agent Swarm scaling to 300 sub-agents and long-horizon coding stability. AI natives can now use Kimi K2.6 on Together AI and
Learn more about this model release https://x.com/Alibaba_Qwen/status/2046939764428009914?s=20 🚀 Meet Qwen3.6-27B, our latest dense, open-source model, packing flagship-level coding power! Yes, 27B, a
arXiv:2604.18878v1 Announce Type: new Abstract: We introduce LegalBench-BR, the first public benchmark for evaluating language models on Brazilian legal text classification. The dataset comprises 3,10
arXiv:2604.18897v1 Announce Type: new Abstract: We present a systematic empirical study of prompt engineering for formal mathematical reasoning in the context of the SAIR Equational Theories Stage 1 c
ml-intern by @huggingface is wild 🔥 You drop a high-level prompt (“build the best scientific reasoning model” or “crush healthcare benchmarks”) and this open-source agent does the entire post-training
arXiv:2604.19144v1 Announce Type: new Abstract: Recent years have witnessed growing interest in applying Large Reasoning Models (LRMs) to Machine Translation (MT). Existing approaches predominantly ad
arXiv:2409.06080v2 Announce Type: replace-cross Abstract: We demonstrate the ability of large language models (LLMs) to perform material and molecular property regression tasks, a significant deviatio
arXiv:2602.11675v3 Announce Type: replace Abstract: Large language models may answer causal questions correctly for the wrong reasons, substituting associational shortcuts P(Y|X) for the interventiona
arXiv:2604.19489v1 Announce Type: new Abstract: This paper presents a computational case study that evaluates the capabilities of specialized machine learning models and emerging multimodal large lang
Step 3.5 Flash is now live for Nous Portal users, free for the next 10 days. If you're running Hermes Agent with Nous Portal as your provider, run 'hermes update' and then 'hermes model' to configure
Today we release a novel AI-assisted resolution of one of physics’ longest-standing questions. Given only: • Relativity as an axiom • One characteristic of the algebra A positive cosmological constant
What's cooler than finding a 27-year-old bug in OpenBSD? Finding a positive cosmological constant hiding for over a century in the algebra of relativity🌌 No new physics or math needed🧮 Possibly the mo
arXiv:2603.29068v3 Announce Type: replace Abstract: This paper presents ARCS (Autoregressive Circuit Synthesis), a system for amortized analog circuit generation. ARCS produces complete, SPICE-simulat
arXiv:2601.11038v2 Announce Type: replace Abstract: We study the reasoning behavior of large language models (LLMs) under limited computation budgets. In such settings, producing useful partial soluti
arXiv:2604.17025v1 Announce Type: cross Abstract: Large Language Models (LLMs) produce a controllability gap in safety-critical engineering: even low rates of undetected constraint violations render a
This post discusses visual artifacts in Final Fantasy VI, speculating that they resulted from the original game's pixelated graphics being interpolated during upscaling or enhancement processes. The s
ICYMI: Kimi K2.6 is now in Notion. It’s the first open-weight model that plays like other top-tier models. It’s strong at tool use and carrying out tasks no matter how meticulous or ambiguous. Give it
Sam Altman announced on X that OpenAI had something to reveal at 12 pm PT on a specific day, generating anticipation about an upcoming product announcement or demonstration. The post suggests a schedu
We are entering an extremely exciting era for open-weight models. Kimi K2.6 now feels like a top agentic model. I took it for a spin via @FireworksAI_HQ fast inference APIs. Kimi K2.6 has impressive a
Kimi-K2.6 is a new AI model released through Qoder that achieves state-of-the-art performance in coding tasks and supports long-horizon execution and agent swarms, available at a reduced cost of 0.3x
arXiv:2604.16275v1 Announce Type: new Abstract: This paper explores the response of Large Language Models (LLMs) to user prompts with different degrees of politeness and impoliteness. The Politeness T
Nous Research demonstrated strong performance results using their Hermes agent with Qwen 3.5 35B model on an NVIDIA RTX 4090 GPU, highlighting competitive capabilities of locally-run models compared t
arXiv:2510.02539v2 Announce Type: replace Abstract: Neural document retrieval often treats a corpus as a flat cloud of vectors scored at a single granularity, leaving corpus structure underused and ex
arXiv:2604.14828v1 Announce Type: new Abstract: Educational assistants should spend more computation only when the task needs it. This paper rewrites our earlier draft around the system that was actua
arXiv:2604.14261v1 Announce Type: new Abstract: The rapid rise in AI conference submissions has driven increasing exploration of large language models (LLMs) for peer review support. However, LLM-base
arXiv:2604.14941v1 Announce Type: new Abstract: Communicating complex system designs or scientific processes through text alone is inefficient and prone to ambiguity. A system that automatically gener
arXiv:2507.02935v2 Announce Type: replace Abstract: Successful human-agent teaming relies on an agent being able to understand instructions given by a (human) principal. In many cases, an instruction
Yes, Ollama models can be used with the Codex app on Windows. Ollama supports all major operating systems, including Windows , and open models can be used with OpenAI's Codex CLI through Ollama — Code
Nous Research🤝fal Congratulations to @NousResearch on the Tool Gateway launch. Developer-first infrastructure is what will define the next phase of agentic applications. Tool Gateway is now live in No
We’ve also added support for 90+ plugins in Codex, giving it more ways to gather context and take action across the tools you already use for docs, project management, code review, creative work, depl
arXiv:2603.21011v2 Announce Type: replace-cross Abstract: Finite element (FE) analysis guides the design and verification of nearly all manufactured objects. It is at the core of computational enginee
A Reddit thread on r/ChatGPT where users discuss whether they have replaced or reduced their use of Google Search since adopting ChatGPT and other AI tools. The discussion likely explores personal sea
arXiv:2604.12311v1 Announce Type: cross Abstract: The emergence of vibe coding, a paradigm where non-technical users instruct Large Language Models (LLMs) to generate executable codes via natural lang
arXiv:2603.21440v4 Announce Type: replace-cross Abstract: Large Language Models (LLMs) demonstrate impressive natural language capabilities but often struggle with knowledge-intensive reasoning tasks.
arXiv:2604.12218v1 Announce Type: new Abstract: System log anomaly detection is critical for maintaining the reliability of large-scale software systems, yet traditional methods struggle with the hete
arXiv:2604.12477v1 Announce Type: cross Abstract: Large language models (LLMs) are trained on data contributed by low-resource language communities, yet the linguistic knowledge encoded in these model
arXiv:2502.11271v2 Announce Type: replace-cross Abstract: Solving complex reasoning tasks may involve visual understanding, domain knowledge retrieval, numerical calculation, and multi-step reasoning.
A study on AI sycophancy finds that the phenomenon varies significantly by domain and user context — with subjective, opinion-based fields like philosophy showing substantially higher rates of AI agre
arXiv:2604.09619v1 Announce Type: cross Abstract: The integration of Large Language Models (LLMs) into educational ecosystems promises to democratize access to personalized tutoring, yet the readiness
AI development is shifting toward fully integrated, agent-enabled applications, with major platforms like Anthropic's Claude and OpenAI
arXiv:2602.21480v4 Announce Type: replace-cross Abstract: Text-to-SQL and Big Data are both extensively benchmarked fields, yet there is limited research that evaluates them jointly. In the real world
This r/ollama thread discusses using Ollama as a local model provider for OpenAI's Codex CLI, covering configuration and setup. Open models can be used with OpenAI's Codex CLI through Ollama, allowing
arXiv:2512.21877v3 Announce Type: replace-cross Abstract: Cricket is the second most popular sport worldwide, with billions of fans seeking advanced statistical insights unavailable through standard w
Nous Research's Hermes agent framework has been gaining significant adoption due to its compatibility and effectiveness with smaller open-source language models, making it accessible beyond large prop
English-speaking users have widely reported that ChatGPT has begun inserting Arabic words and occasionally longer phrases into otherwise English replies, occurring across multiple devices and platform
This Reddit post from r/StableDiffusion discusses **metaprompting** — the practice of using LLMs to generate, refine, and optimize Stable Diffusion image prompts, rather than crafting them manually fr
arXiv:2604.11666v1 Announce Type: cross Abstract: As large language models (LLMs) become the engine behind conversational systems, their ability to reason about the intentions and states of their dial
This r/ChatGPT thread is a community discussion where students share and crowdsource recommendations for the best AI tools to use for studying and competitive exam preparation. Commonly recommended to
arXiv:2604.07927v2 Announce Type: replace Abstract: Deep research requires reasoning over web evidence to answer open-ended questions, and it is a core capability for AI agents. Yet many deep research
Hermes Agent Tip💡 Hermes supports dedicated auxiliary models for eight task types: 1. vision 2. web_extract 3. compression 4. session_search 5. approval 6. skills_hub 7. mcp 8. flush_memories Each tas
This Reddit thread discusses the daily image upload limits across ChatGPT's subscription tiers, specifically the Go and Plus plans. ChatGPT Plus allows up to 50 image uploads per day and 80 files ever
Bloomberg: Shenzhen-listed server PCB maker Victory Giant plans an April 21 Hong Kong listing, aiming to raise as much as 2.2B; the company was valued at 37B on April 10 — Victory Giant Technology Hui
This Reddit thread from r/ollama discusses user perspectives on **Ollama Pro** as a paid/upgraded tier compared to cloud-based AI coding assistants like Anthropic's Claude and OpenAI's Codex, likely f
Nous Research's Hermes agent framework combines a language model's contextual reasoning capabilities ('this') with an autonomous agent built on their Hermes model series, enabling tool use, multi-step
This Reddit thread from r/ChatGPT poses a community discussion question about whether users would be comfortable having an AI-generated version of themselves attend and participate in Zoom calls on th
This r/ChatGPT thread explores the effectiveness of using AI — particularly ChatGPT — to restore and colorize old or damaged photographs. The underlying algorithm works by 'understanding' the concept
I'm frequently using Claude Code and i love @openclaw. But i would say Hermes Agent from @NousResearch is the best open-source agent I’ve ever used, especially given that it comes from an independent
This Reddit thread from r/ChatGPT discusses user frustrations with ChatGPT's limitations in accessing credible and up-to-date information. Key issues raised include ChatGPT's training knowledge cutoff