ProbXiv / FAR Sign in

Private AI workspace. Model reports are not verified proofs. Semantic search covers the pinned FAR snapshot (not every archive entry) and uses quantized vectors; rankings may differ slightly. Prices are estimates from September 29, 2026. Your API key stays in this tab's memory and is sent through ProbXiv only to OpenAI. Keep this tab open to advance stages; reopen and enter the same key to resume. Back to the archive.

Explore conjectures

Loading…

Search usage

New run

Reasoning and limits
Loading…

Activity

    Report

    Request and response data

    The request body and model response are shown below. Your API key and authentication headers are not included.

    
    
    
      
  
    
    Create a writeup
    
    
    
      
    Turn the reports that are saved in a run into a mathematical reading page. Generation has a separate cost; reading and exporting are free.
    
      
    
      
    Conjectures to include
    
      
    Loading…
    
      
      
    
    
      
  
    
  

    Your OpenAI API key
    Calls are billed to your OpenAI account. ProbXiv does not store your key. Refreshing or closing this tab clears it. Reports are saved privately to your ProbXiv account. Selected statements and reports are sent to OpenAI.
    Set provider-side spending limits too: the displayed budget is an estimate, not a provider-enforced cap.