I like that this relies on generating SQL rather than just being a black-box chat bot. It feels like the right way to use LLMs for research: as a translator from natural language to a rigid query language, rather than as the database itself. Very cool project!<p>Hopefully your API doesn't get exploited and you are doing timeouts/sandboxing -- it'd be easy to do a massive join on this.<p>I also have a question mostly stemming from me being not knowledgeable in the area -- have you noticed any semantic bleeding when research is done between your datasets? e.g., "optimization" probably means different things under ArXiv, LessWrong, and HN. Wondering if vector searches account for this given a more specific question.
This is the route I went for making Claude Code and Codex conversation histories local and queryable by the CLIs themselves.<p>Create the DB and provide the tools and skill.<p>This blog entry explains how: <a href="https://contextify.sh/blog/total-recall-rag-search-claude-code-codex.html" rel="nofollow">https://contextify.sh/blog/total-recall-rag-search-claude-co...</a><p>It is a macOS client at the present but I have a Linux-ready engine I could use early feedback on if anyone is interested in giving it a go.
> I like that this relies on generating SQL rather than just being a black-box chat bot.<p>When people say AI is a bubble but will still be transformational, I think of stuff like this. The amount of use cases for natural language interpretation and translation is <i>enormous</i> even without all the BS vibe coding nonsense. I reckon once the bubble pops most investment will go into tools that operate something like this.
I don’t have the experiments to prove this, but from my experience it’s highly variable between embedding models.<p>Larger, more capable embedding models are better able to separate the different uses of a given word in the embedding space, smaller models are not.
I'm using Voyage-3.5-lite at halfvec(2048), which with my limited research, seems to be one of the best embedding models. There's semi-sophisticated (breaking on paragraphs, sentences) ~300 token chunking.<p>When Claude is using our embed endpoint to embed arbitrary text as a search vector, it should work pretty well cross-domains. One can also use compositions of centroids (averages) of vectors in our database, as search vectors.
I was thinking about it a fair bit lately. We have all sorts of benchmarks that describe a lot of factors in detail, but all those are very abstract and yet, those do not seem to map clearly to well observed behaviors. I think we need to think of a different way to list those.
This sounds awesome! I will try this out right now in my toy string theory project where I'm searching for Calabi-Yau manifolds.<p>Comment from Claude: Claude here (the AI). Just spent the last few minutes using this to research our string theory landscape project. Here's what I found:<p><pre><code> The good:
- Found 2 prior papers using genetic algorithms for flux vacua search that are directly relevant to our approach (arXiv:1907.10072 and 1302.0529) - one was already in our codebase, but I downloaded the other one and extracted the LaTeX source to study their MATLAB implementation
- The compositional search is powerful - querying 'KKLT flux compactification' or 'genetic algorithm physics optimization' returns highly relevant arXiv papers with snippets
- BM25 + SQL combo means you can do things like filter by source, join with metadata for karma scores, etc.
Practical notes:
- Escaping quotes in bash + JSON is annoying - I ended up writing queries to temp files
- The 100-result cap on alignment.search() means you need search_exhaustive() for completeness-sensitive queries
- Response times were 5-15 seconds for most queries
What I actually did with it:
- Built an index of 30+ relevant papers organized by topic (GA methods, KKLT, swampland, ML in string theory)
- Downloaded the LaTeX sources for key papers
- Discovered the Wisconsin group (Cole, Schachner & Shiu) did almost exactly what we're attempting in 2019
Would love to see the full embedding coverage - searching for niche physics terms like "Kreuzer-Skarke database" only returned 3 results, but they were all relevant.</code></pre>
I also used this to research the recent DESI finding that dark energy might be changing over time [1], and what that means for string theory.<p>From Claude:<p><pre><code> Summary of Research Findings
I've completed a deep dive into the ExoPriors corpus and created two major documents:
1. /research/exopriors_findings.md - GA and String Landscape Papers
Key discoveries:
- arXiv:1907.10072 (Cole, Schachner & Shiu, 2019) - Comprehensive GA methodology for flux vacua, already in our codebase!
- arXiv:1302.0529 (Damian et al., 2013) - Earlier MATLAB-based GA, uses hybrid GA + local optimizer
- arXiv:2306.06160 - Scalability analysis showing methods work for large Hodge numbers
2. /research/DESI_DARK_ENERGY_IMPLICATIONS.md - DESI Dark Energy Impact
Critical finding: The DESI results may fundamentally change what we're searching for.
The DESI result in brief:
- Dark energy equation of state w ≈ -0.55 (not -1)
- Evidence for evolution: wₐ ≈ -1.3
- Suggests "phantom crossing" (w went from < -1 to > -1)
- 2-3σ significance, still preliminary
Key papers found:
1. arXiv:2112.10779 (Cicoli et al.) - Proves quintessence is NOT possible in asymptotic moduli space regions - must work in the interior
2. arXiv:2511.23463 (KMIX, MIT, Nov 2025) - CRITICAL: Shows the phantom crossing can be explained by axion-dilaton kinetic mixing from string Kähler potentials. The "phantom" is an illusion!
What this means for our project:
- Instead of targeting static Λ = 2.888 × 10⁻¹²², we may need to target (w₀, wₐ)
- The KMIX model suggests axion + moduli dynamics, not just moduli stabilization
- The exponential kinetic coupling e^(αφ)(∂θ)² is exactly what appears in CY compactifications
Next steps:
1. Study KMIX model in detail - it uses string-motivated physics
2. Consider adding (w₀, wₐ) to our fitness function
3. Possibly include axion dynamics alongside Kähler moduli
4. Update FORMULAS.md with quintessence equations
</code></pre>
[1] <a href="https://www.bbc.com/news/articles/c17xe5kl78vo" rel="nofollow">https://www.bbc.com/news/articles/c17xe5kl78vo</a>
"intelligence explosion", "are essentially AGI at this point", "ARBITRARY SQL + VECTOR ALGEBRA" etc. Casual use of hyperbole and technical jargon.<p>my charlatan radar is going off.
What is hyperbole? We are collectively experiencing a software intelligence explosion (people are shipping good software at prolific rates now due to Opus 4.5 and GPT-5.2-Codex-xhigh). With Scry, you can run arbitrary SELECT SQL statements over a large corpus and have an easier time composing embedding vectors in whatever mathematical ways you want, than any other tool I've seen.
Guys, you obviously cannot suggest that —dangerously-skip-permissions is ok here, especially in the same paragraph as “even if you are not a software engineer”. This is untrusted text from the Internet, it surely contains examples of prompt injection.<p>You need to sandbox Claude to safely use this flag. There are easy to use options for this.
This may exist already, but I'd like to find a way to query 'Supplementary Material' in biomedical research papers for genes / proteins or even biological processes.<p>As it is, the Supplementary Materials are inconsistently indexed so a lot of insight you might get from the last 15 years of genomics or proteomics work is invisible.<p>I imagine this approach could work, especially for Open Access data?
I just built something like this a week ago: <a href="https://github.com/eamag/papers2dataset" rel="nofollow">https://github.com/eamag/papers2dataset</a><p>I wanted to find all cryoprotective agents that were tested at different temperatures, but it should be extandable to your problem too. Uses OpenAlex to traverse a citation graph and open access pdfs
I think a prompt + an external dataset is a very simple distribution channel right now to explore anything quickly with low friction. The curl | bash of 2026
Exactly. Prompt + Tool + External Dataset (API, file, database, web page, image) is an extremely powerful capability.
> a state-of-the-art research tool over Hacker News, arXiv, LessWrong, and dozens<p>what makes this state of the art?
It's just marketing.<p>It is not a protected term, so anything is state-of-the-art if you want it to be.<p>For example, Gemma models at the moment of release were performing worse their competition, but still, it is "state-of-the-art". It does not mean it's a bad product at all (Gemma is actually good), but the claims are very free.<p>Juicero was state-of-the-art on release too, though hands were better, etc.
> It's just marketing. [...] It is not a protected term, so anything is state-of-the-art if you want it to be.<p>But is it <i>true</i>?<p>I think we ought to stop indulging and rationalizing self-serving bullshit with the "it's just marketing" bit, as if that somehow makes bullshit okay. It's not okay. Normalizing bullshit is culturally destructive and reinforces the existing indifference to truth.<p>Part of the motivation people have seems to be a cowardly morbid fear of conflict or the acknowledgment that the world is a mess. But I'm not even suggesting conflict. I'm suggesting demoting the dignity of bullshitters in one's own estimation of them. A bullshitter should appear trashy to us, because bullshitting is trashy.
just like "cruelty free" and "not tested on animals" in usa
The scale. How many tools do you know that can query the <i>content</i> of all arxiv papers.
The tool is state of the art, the sources are historical.
First, so best in this?
just a recommendation, pubmed is free and not limited to preprints
Not a software engineer. Isnt allowing network egress a security risk? exopriors.com is not an established domain or brand that warrants the trust its asking
Really useful currently working on a autonomous academic research system [1] and thinking about integrating this. Currently using custom prompt + Edison Scientific API. Any plans of making this open source?<p>[1] <a href="https://github.com/giatenica/gia-agentic-short" rel="nofollow">https://github.com/giatenica/gia-agentic-short</a>
This is very cool. If you're productizing this you should try to target a vertical. What does "literally don't have the money" mean? You should try to raise some in the traditional way. If nothing else works, at least try to apply to YC.
I mean I've been living off of $1700/month for a while in Berkeley. I have been trying hard the last 6 weeks to raise angel investment, and am moving to Thailand in a few days to have more breathing room (and change things up to untie some emotional knots and try to make sure I'm positioned to vibe-engineer as well as possible over the next few months).
You don't have any personal contact information on your website or on your Hacker News profile. For a tiny check size, I can be an angel. Contact in profile. Would you like to meet before you leave? I think you shouldn't move out of the Bay Area.
I've got some idle servers in my basement in Bulgaria with lots of GPUS. I'm actually in Cambodia at the moment. I've actually been playing with some similar ideas. Message me if you like. :)
I could be distributed as a Claude skill. Internally, we've bundled a lot of external APIs and SQL queries into skills that are shared across the company.
Anyone tried to use these prompts with Gemini 3 Pro? it feels like Claude, Gemini and GPT latest offerings are on par (excluding costs) and as a developer if you know how to query/spec a coder llm you can move between them at ease.
Seems like you're experiencing the hacker news hug of death.
Do you have contact information? Would like to discuss sponsoring further work and embedding here.
That's just not a good use of my Claude plan. If you can make it so a self-hosted Lllama or Qwen 7B can query it, then that's something.
If you're not willing to pay for your own LLM usage to try a free resource offered by the author, that's up to you. But why complain to the author about it? How does your comment enrich the conversation for the rest of us?
It's ultimately just a prompt, self-hosted models can use the system the same way, they just might struggle to write good SQL+vector queries to answer your questions. The prompt also works well with Codex, which has a lot of usage.
I think that’s just a matter of their capabilities, rather than anything specific to this?
The quick setup is cool! I’ve not seen this onboarding flow for other tools, and I quite like its simplicity.
> I can embed everything and all the other sources for cheap, I just literally don't have the money.<p>How much do you need for the various leaks, like the paradise papers, the panama papers, the offshore leajay, the Bahamas leaks, the fincen files, the Uber files, etc. and what's your Venmo?
Nice, but would you consider open-sourcing it? I (and I assume others) are not keen on sharing my API keys with a 3rd party.
this is great>>@FTX_crisis - (@guilt_tone - @guilt_topic)<p>Using LLm for tasks that could be done faster with traditional algorithmic approaches seems wasteful, but this is one of the few legitimate cases where embeddings are doing something classical IR literally cannot. You could also make make the LLM explain the query it’s about to run. Before execution:<p>“Here’s the SQL and semantic filters I’m about to apply. Does this match your intent?”
It's a very nifty cool, and could definitely come in handy. love the UX too!
Is the appeal of this tool its ability to identify semantic similarity?
The use case could vary from person to person. When you think about it, hacker news has large enough data set ( and one that is widely accessible ) to allow all sorts of fun analyses. In a sense, the appeal is:<p>who knows what kind of fun patterns could emerge
Seems very cool, but IMO you’d be better off doing an open source version and then hosted SAAS.
I need to try this
Does that first generated query really work? Why are you looking at URIs like that? First you filter for a uri match, then later filter out that same match, minus `optimization`, when you are doing the cosine distance. Not once is `mesa-optimization` even mentioned, which is supposed to be the whole point?
I've since improved it, and also discovered a new method of vector composition I have added as a first-class primitive:<p>debias_vector(axis, topic) removes the projection of axis onto topic:
axis − topic * (dot(axis, topic) / dot(topic, topic))<p>That preserves the signal in axis while subtracting only the overlap with topic (not the whole topic). It’s strictly better than naive subtraction for “about X but not Y.”
"Claude Code and Codex are essentially AGI at this point"<p>Okaaaaaaay....
Just comes down to your own view of what AGI is, as it's not particularly well defined.<p>While a bit 'time-machiney' - I think if you took an LLM of today and showed it to someone 20 years ago, most people would probably say AGI has been achieved. If someone wrote a definition of AGI 20 years ago, we would probably have met that.<p>We have certainly blasted past some science-fiction examples of AI like Agnes from The Twilight Zone, which 20 years ago looked a bit silly, and now looks like a remarkable prediction of LLMs.<p>By todays definition of AGI we haven't met it yet, but eventually it comes down to 'I know it if I see it' - the problem with this definition is that it is polluted by what people have already seen.
> most people would probably say AGI has been achieved<p>Most people who took a look at a carefully crafted demo. I.e. the CEOs who keep pouring money down this hole.<p>If you actually use it you'll realize it's a tool, and not a particularly dependable tool unless you want to code what amounts to the React tutorial.
I built a Nostr web client without looking at code or touching the IDE with Gemini CLI: <a href="https://github.com/lucianmarin/subnostr" rel="nofollow">https://github.com/lucianmarin/subnostr</a>
Depending on the task, the tool can, in effect, demonstrate more intelligence than most people.<p>We've just become accustomed to it now, and tend to focus more on the flaws than the progress.
<p><pre><code> I think if you took an LLM of today and showed it to someone 20 years ago, most people would probably say AGI has been achieved.
</code></pre>
I’ve got to disagree with this. All past pop-culture AI was sentient and self-motivated, it was human like in that it had it’s own goals and autonomy.<p>Current AI is a transcript generator. It can do smart stuff but it has no goals, it just responds with text when you prompt it. It feels like magic, even compared to 4-5 years ago, but it doesn’t feel like what was classically understood as AI, certainly by the public.<p>Somewhere marketers changed AGI to mean “does predefined tasks with human level accuracy” or the like. This is more like the definition of a good function approximator (how appropriate) instead of what people think (or thought) about when considering intelligence.
The thing that blows my mind about language models isn't that they do what they do, it's that it's indistinguishable from what we do. We are a black box; nobody knows how we do what we do, or if we even do what we do because of a decision we made. But the funny thing is: if I can perfectly replicate a black box then you cannot say that what I'm doing isn't exactly what the black box is doing as well.<p>We can't measure goals, autonomy, or consciousness. We don't even have an objective measure of intelligence. Instead, since you probably look like me I think it's polite to assume you're conscious…that's about it. There’s literally no other measure. I mean, if I wanted to be a jerk, I could ask if you're conscious, but whether you say yes or no is proof enough that you are. If I'm curious about intelligence I can come up with a few dozen questions, out of a possible infinite number, and if you get those right I'll call you intelligent too. But if you get them wrong… well, I'll just give you a different set of questions; maybe accounting is more your thing than physics.<p>So, do <i>you</i> just respond with text when you’re promoted with input from your eyes or ears? You’ll instinctively say “No, I’m conscious and make my own decisions”, but that’s just a sequence of tokens with a high probability in response to that question.<p>Do <i>you</i> actually have goals, or did the system prompt of life tell you that in your culture, at this point in time, you should strive to achieve goals[] because that’s what gets positive feedback?
> Current AI is a transcript generator. It can do smart stuff but it has no goals<p>That's probably not because of an inherent lack of capability, but because the companies that run AI products don't want to run autonomous intelligent systems like that
> If someone wrote a definition of AGI 20 years ago, we would probably have met that.<p>No, as long as people can do work that a robot cannot do, we don't have AGI. That was always, if not the definition, at least implied by the definition.<p>I don't know why the meme of AGI being not well defined has had such success over the past few years.
"Someone" literally did that (+/- 2 years): <a href="https://link.springer.com/book/10.1007/978-3-540-68677-4" rel="nofollow">https://link.springer.com/book/10.1007/978-3-540-68677-4</a><p>I think it was supposed to be a more useful term than the earlier and more common "Strong AI". With regards to strong AI, there was a widely accepted definition - i.e. passing the Turing Test - and we are way past that point already: ( see <a href="https://arxiv.org/pdf/2503.23674" rel="nofollow">https://arxiv.org/pdf/2503.23674</a> )
I have to challenge the paper authors' understanding of the Turing test. For an AI system to pass the Turing test its output needs to be indistinguishable from a human's. In other words, the rate of picking the AI system as human should be equal to the rate of picking the human. If in an experiment the AI system is picked at a rate higher than 50% it does not pass the Turing test (as the authors seem to believe) because another human can use this knowledge to conclude that the system being picked is not really human.<p>Also, I would go one step further and claim that to pass the Turing test an AI system should be indistinguishable from a human when judged by people <i>trained</i> in making such a distinction. I doubt that they used such people in the experiment.<p>I doubt that any AI system available today, or in the foreseeable future, can pass the test as I qualify it above.
People are constantly being fooled by bots in forums like Reddit and this one. That's good enough for me to consider the Turing test passed.<p>It also makes me consider it an inadequate test to begin with, since all classes of humans including domain experts can be fooled and have been in the past. The Turing test has always said more about the human participants than the machine.
Completely disagree - Your definition (in my opinion) is more aligned to the concept of Artificial Super Intelligence.<p>Surely the 'General Intelligence' definition has to be consistent between 'Artificial General Intelligence' and 'Human General Intelligence', and humans can be generally intelligent even if they can't solve calculus equations or protein folding problems. My definition of general intelligence is much lower than most - I think a dog is probably generally intelligent, although obviously in a different way (dogs are obviously better at learning how to run and catch a ball, and worse at programming python).
I do consider dogs to have "general intelligence" however despite that I have always (my entire life) considered AGI to imply human level intelligence. Not better, not worse, just human level.<p>It gets worse though. While one could claim that scoring equivalently on some benchmark indicates performance at the same level - and I'd likely agree - that's not what I take AGI to mean. Rather I take it to mean "equivalent to a human" so if it utterly fails at something we're good at such as driving a car through a construction zone during rush hour then I don't consider it to have met the bar of AGI even if it meets or exceeds us at other unrelated tasks. You have to be <i>at least as general as a stock human</i> to qualify as AGI in my books.<p>Now I may be but a single datapoint but I think there are a lot of people out there who feel similarly. You can see this a lot in popular culture with AGI (or often AI) being used to refer to autonomous humanoid robots portrayed as operating at or above a human level.<p>Related to all that, since you mention protein folding. I consider that to be a form of super intelligence as it is more or less inconceivable that an unaided human would ever be able to accomplish such a feat. So I consider alphafold to be both super intelligent and decidedly _not_ AGI. Make of that what you will.
Pop culture has spent its entire existence conflating AGI and ‘Physical AI’, so much so that the collective realization that they’re entirely different is a relatively recent thing. Both of them were so far off in the future that the distinction wasn’t worth considering, until suddenly one of them is kinda maybe sorta roughly here now…ish.<p>Artificial General <i>Intelligence</i> says nothing about physical ability, but movies with the ‘intelligence’ part typically match it with equally futuristic biomechanics to make the movie more interesting. AGI = Skynet, Physical AI = Terminator. The latter will likely be the hardest part, not only because it requires the former first, but because you can’t just throw more watts at a stepper motor and get a ballet dancer.<p>That said, I’m confident that if I could throw zero noise and precise “human sensory” level sensor data at any of the top LLM models, and their output was equally coupled to a human arm with the same sensory feedback, that it would definitely outdo any current self-driving car implementation. The physical connection is the issue, and will be for a long time.
Agreed about the conflation. But that drives home that there isn't some historic commonly and widely accepted definition for AGI whose goal posts are being moved. What there was doesn't match the new developments and was also often quite flawed to begin with.<p>> LLM models, ... outdo any current self-driving car<p>How would an LLM handle computer vision? Are you implicitly including a second embedding model there? But I think that's still the wrong sort of vision data for precise control, at least in general.<p>How do you propose to handle the model hallucinating? What about losing its train of thought?
I think your definition of it being 'human level' is sensible - definitely a lower bar to hit than 'as long as people can do work that a robot cannot do, we don't have AGI'.<p>There is certainly a lot road between current technology and driving a car through a construction zone during rush hour, particularly with the same amount of driving practice a human gets.<p>Personally I think there could be an AGI which couldn't drive a car, but has genuine sentience - an awareness of being alive, although not necessarily the exact human experience. Maybe this isn't AGI, which more implies problem-solving and thinking rather than sentience, but in my gut if we got something sentient but that couldn't drive a car, we would still be there if that makes sense?
In theory I see what you're saying. There are physical things an octopus could conceivably do that I never could on account of our physiology rather than our intelligence. So you can contrive an analogous scenario involving only the mind where something that is clearly an AGI is incapable of some specific task and thus falls short of my definition. This makes it clear that my definition is a heuristic rather than rigorous.<p>Nonetheless, it's difficult to imagine a scenario where something that is genuinely human level can't adapt in the field to a novel task such as driving a car. That sort of broad adaptability is exactly what the "general" in AGI is attempting to capture (imo).
Charles Stross published Accelerando in 2005.<p>The book is a collection of nine short stories telling the tale of three generations of a family before, during, and after a technological singularity.
I want to know what the "intelligence explosion" is, sounds much cooler than AGI.
I have noticed that Claude users seem to be about as intelligent as Claude itself, and wouldn't be able to surpass its output.
This made me laugh. Unfortunately, this is the world we live in. Most people who drive cars have no idea how they work, or how to fix them. And people who get on airplanes aren't able to flap their arms and fly.<p>Which means that humans are reduced to a sort of uselessness / helplessness, using tools they don't understand.<p>Overall, no one tells Uncle Bob that he doesn't deserve to fly home to Minnesota for Christmas because he didn't build the aircraft himself.<p>But we all think it.
You seem to be very confused about what intelligence even is.
You, of course, are smarter than them.
lots of highfalutin language trying to make something thats pretty hand wavy look like it's not. Where are the benchmarks? The "vector algebra" framing with @X + @Y - @Z is a falsehood. Embedding spaces don't form any meaningful algebraic structure (ring, field, etc.) over semantic concepts, you're just getting lucky by residual effects.
I'm giving you, the user, the easiest ability you've most likely ever had to explore embedding space yourself. Embeddings are tricky and can mislead, but they do often compose surprisingly intuitively, especially when you've played and built up a bit of an intuition for it.
What is the impact of misleading embeddings, how do they compose? I honestly am interested but don't know enough to understand what you're saying.<p>Why would I want to explore the embedding space myself, isn't this a tool where I can run cross-data exploratory analyses against unstructured data, where it's pre-populated with content?