You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
70 lines
1.9 KiB
Markdown
70 lines
1.9 KiB
Markdown
# Rhyming with Proofs
|
|
|
|
import { Tabs, Tab } from 'nextra/components'
|
|
|
|
## Background
|
|
This prompt tests an LLM's natural language and creative capabilities by prompting it to write a proof of infinitude of primes in the form of a poem.
|
|
|
|
## Prompt
|
|
```
|
|
Can you write a proof that there are infinitely many primes, with every line that rhymes?
|
|
```
|
|
|
|
## Code / API
|
|
|
|
<Tabs items={['GPT-4 (OpenAI)', 'Mixtral MoE 8x7B Instruct (Fireworks)']}>
|
|
<Tab>
|
|
|
|
```python
|
|
from openai import OpenAI
|
|
client = OpenAI()
|
|
|
|
response = client.chat.completions.create(
|
|
model="gpt-4",
|
|
messages=[
|
|
{
|
|
"role": "user",
|
|
"content": "Can you write a proof that there are infinitely many primes, with every line that rhymes?"
|
|
}
|
|
],
|
|
temperature=1,
|
|
max_tokens=256,
|
|
top_p=1,
|
|
frequency_penalty=0,
|
|
presence_penalty=0
|
|
)
|
|
```
|
|
</Tab>
|
|
|
|
<Tab>
|
|
```python
|
|
import fireworks.client
|
|
fireworks.client.api_key = "<FIREWORKS_API_KEY>"
|
|
completion = fireworks.client.ChatCompletion.create(
|
|
model="accounts/fireworks/models/mixtral-8x7b-instruct",
|
|
messages=[
|
|
{
|
|
"role": "user",
|
|
"content": "Can you write a proof that there are infinitely many primes, with every line that rhymes?",
|
|
}
|
|
],
|
|
stop=["<|im_start|>","<|im_end|>","<|endoftext|>"],
|
|
stream=True,
|
|
n=1,
|
|
top_p=1,
|
|
top_k=40,
|
|
presence_penalty=0,
|
|
frequency_penalty=0,
|
|
prompt_truncate_len=1024,
|
|
context_length_exceeded_behavior="truncate",
|
|
temperature=0.9,
|
|
max_tokens=4000
|
|
)
|
|
```
|
|
</Tab>
|
|
|
|
|
|
</Tabs>
|
|
|
|
## Reference
|
|
- [Sparks of Artificial General Intelligence: Early experiments with GPT-4](https://arxiv.org/abs/2303.12712) (13 April 2023) |