Resolves YES if, at the time of resolution, we know both papers to have been legitimate (and both products functional) and AI to be a critical part of at least one of their developments.

The AI could be an LLM, a search tool like drug discovery programs, or even a simple generative design program. Mere simulation or analysis tools would not count.

"Critical part" means, to the best judgement of myself and the comments section, the discovery process would have taken at least three more years without the use of the tool. I will not participate in this market.

Resolves N/A if either of these two papers proves to be false or is uncertain at the time of market resolution. Resolves NO if it is conclusively shown AI was not critical to the development of either or if the market close date is reached without significant evidence.