Views
No views yet
| Model | Base Model | Download |
|---|---|---|
| DeepSeek-qwen-Bllossom-1.5B | DeepSeek-R1-Distill-Qwen-1.5B | 공개예정 |
| DeepSeek-qwen-Bllossom-7B | DeepSeek-R1-Distill-Qwen-7B | 공개예정 |
| DeepSeek-llama3.1-Bllossom-8B | DeepSeek-R1-Distill-Llama-8B | 🤗 HuggingFace |
| DeepSeek-qwen-Bllossom-14B | DeepSeek-R1-Distill-Qwen-14B | 공개예정 |
| DeepSeek-qwen-Bllossom-32B | DeepSeek-R1-Distill-Qwen-32B | 🤗 HuggingFace |
| DeepSeek-llama3.3-Bllossom-70B | DeepSeek-R1-Distill-Llama-70B | 🤗 HuggingFace |
1from transformers import AutoModelForCausalLM, AutoTokenizer
2import torch
3
4model = AutoModelForCausalLM.from_pretrained(
5 "UNIVA-Bllossom/DeepSeek-llama3.3-Bllossom-70B",
6 torch_dtype="auto",
7 device_map="auto"
8)
9tokenizer = AutoTokenizer.from_pretrained("UNIVA-Bllossom/DeepSeek-llama3.3-Bllossom-70B")
10
11system='''
12You are a highly capable assistant. For every user question, follow these instructions exactly:
13 1. First, think through the problem step-by-step in English. Enclose all of your internal reasoning between <think> and </think> tags. This chain-of-thought should detail your reasoning process.
14 2. After the closing </think> tag, provide your final answer.
15 3. Do not include any additional text or commentary outside of this format.
16 4. Your output should strictly follow this structure:
17
18<think>
19[Your detailed step-by-step reasoning in English]
20</think>
21[Your final answer]
22'''
23
24text="철수, 영희, 민수가 3회의 게임에서 점수를 받았습니다. 영희의 점수는 민수의 점수의 두 배이며, 민수의 점수는 철수의 4배입니다. 철수가 10점을 받았다면 이 3명의 평균 점수를 계산하세요."
25chat = [
26 {"role": "system", "content": system},
27 {"role": "user", "content": text}
28]
29
30prompt=tokenizer.apply_chat_template(chat, tokenize=False, add_generation_prompt=True)
31model_inputs = tokenizer(
32 prompt,
33 return_tensors="pt",
34 add_special_tokens=True
35)
36
37if "token_type_ids" in model_inputs:
38 del model_inputs["token_type_ids"]
39
40model_inputs = {k: v.to(model.device) for k, v in model_inputs.items()}
41
42generated_ids = model.generate(
43 **model_inputs,
44 max_new_tokens=8192,
45)
46| 입력 (Prompt) | DeepSeek-R1-distill-Llama-70B | DeepSeek-llama3.3-Bllossom-70B |
|---|---|---|
| Alice, Bob, Charlie가 3회의 게임에서 점수를 받았습니다. Alice의 점수는 Bob의 점수의 두 배이며, Bob의 점수는 Charlie의 4배입니다. Charlie가 10점을 받았다면 이 3명의 평균 점수를 계산하세요. | Charlie의 점수는 10점입니다. Bob의 점수는 Charlie의 4배이므로, Bob의 점수는 $$ 4 \times 10 = 40 $$ 점입니다. Alice의 점수는 Bob의 점수의 두 배이므로, Alice의 점수는 $$ 2 \times 40 = 80 $$ 점입니다. 세人的 총 점수는 $$ 10 + 40 + 80 = 130 $$ 점입니다. 평균 점수는 $$ \frac{130}{3} \approx 43.33$점입니다. $$ \boxed{43.33} $$ Charlie의 점수는 10점입니다. | Charlie의 점수는 10점으로 주어졌습니다. Bob의 점수는 Charlie의 점수의 4배이며, 이는 다음과 같이 계산됩니다: $$ 4 \times 10 = 40 $$ Alice의 점수는 Bob의 점수의 두 배이며, 이는 다음과 같습니다: $$ 2 \times 40 = 80 $$ 세 사람의 총 점수는 다음과 같습니다: $$ 10 + 40 + 80 = 130 $$ 이 세 사람의 평균 점수는 총 점수를 사람 수로 나누어 계산됩니다: $$ \frac{130}{3} $$ 따라서, 이 세 사람의 평균 점수는 $$ \boxed{\dfrac{130}{3}} $$ 입니다. |
| 소수가 무한하다는 사실을 3가지 방법으로 증명하시오. | 以下是用三种方法证明素数无限的详细步骤： ### 方法一：欧几里得的反证法 1. 假设：假设素数是有限的，且所有素数为 $ p_1, p_2, p_3, \ldots, p_n $。 2. 构造数：构造一个新数 $ N = (p_1 \times p_2 \times p_3 \times \ldots \times p_n) + 1 $。 3. 分析N的性质： - 如果N是素数，则N不在原假设的素数列表中，与假设矛盾。 - 如果N是合数，则存在某个素数 $ p $ 整除N。但由于N除以任何 $ p_i $ 都余1，故 $ p $ 不在原列表中，同样矛盾。 4. 结论：因此，素数必须是无限的。 ### 方法二：费马数的性质 1. 定义：费马数形如 $ F_k = 2^{2^k} + 1 $，其中 $ k $ 为非负整数。 2. 假设：假设素数是有限的，且所有素数为 $ p_1, p_2, \ldots, p_n $。 3. 构造费马数：对于每个 $ k $，构造 $ F_k $。如果 $ F_k $ 是素数，则不在原列表中；如果是合数，其素因数不在原列表中。 4. 结论：因此，素数必须是无限的。 ### 方法三：欧拉函数与素数无限性 1. 欧拉函数：欧拉函数 $ \phi(n) $ 表示小于 $ n $ 且与 $ n $ 互质的数的个数。 2. 假设：假设素数有限，记为 $ p_1, p_2, \ldots, p_n $。 3. 构造数：考虑形如 $ N = p_1^{k_1} p_2^{k_2} \ldots p_n^{k_n} $ 的数，其欧拉函数为 $ \phi(N) = N \prod_{i=1}^{n} \left(1 - \frac{1}{p_i}\right) $。 4. 分析：如果素数有限，$ \prod_{p \text{素数}} \left(1 - \frac{1}{p}\right) $ 收敛，但实际上该积发散，导致矛盾。 5. 结论：因此，素数必须是无限的。 这三种方法各自从不同的角度证明了素数的无限性，展示了数论中素数无限性的深刻性。 | 소수가 무한하다는 것을 3가지 방법으로 증명하기 위해, 우리는 다음과 같은 접근 방식을 사용할 수 있습니다: 1. 유클리드의 모순 증명: - 가정: 소수는 유한한 개수 $ p_1, p_2, \dots, p_n $이라고 가정합니다. - 구성: $ P = p_1 \times p_2 \times \dots \times p_n + 1 $으로 정의합니다. - 결론: $ P $가 소수이면, 그것은 목록에 없는 새로운 소수입니다. 만약 $ P $가 합성수이면, 그것은 목록에 없는 소수를 포함해야 합니다. 두 경우 모두 가정에 모순됩니다. 따라서, 소수는 무한합니다. 2. 팩토리얼 접근법: - 가정: 소수는 유한한 개수 $ p_1, p_2, \dots, p_n $이라고 가정합니다. - 구성: $ n! + 1 $을 고려하십시오, 여기서 $ n $은 가장 큰 소수입니다. - 결론: $ n! $은 모든 $ p_i $로 나누어 떨어지므로, $ n! + 1 $은 $ p_i $ 중 어느 것도 포함하지 않습니다. 만약 $ n! + 1 $이 소수이면, 그것은 $ n $보다 큰 새로운 소수입니다. 만약 $ n! + 1 $이 합성수이면, 그것은 $ n $보다 큰 소수를 포함해야 합니다. 두 경우 모두 가정에 모순됩니다. 따라서, 소수는 무한합니다. 3. 오일러의 제타 함수 증명: - 개념: 오일러는 제타 함수 $ \zeta(s) = \sum_{k=1}^\infty \frac{1}{k^s} $가 소수에 대한 곱으로 표현될 수 있음을 보였습니다: $ \zeta(s) = \prod_{p \text{ 소수}} \frac{1}{1 - \frac{1}{p^s}} $. - 결론: 만약 소수가 유한하면, 곱은 유한해야 할 것입니다. 그러나 $ s $가 1보다 큰 값을 향해 접근할 때, $ \zeta(s) $는 무한대로 발산합니다. 이것은 곱이 발산해야 함을 요구하며, 따라서 소수는 무한해야 합니다. 각 방법은 소수가 무한하다는 것을 확증하며, 서로 다른 수학적 원칙에 기반을 둡니다. 유클리드의 증명은 모순을 사용합니다, 팩토리얼 접근법은 간단한 수론을 사용하며, 오일러의 증명은 해석적 수론의 도구를 사용합니다. 세 방법 모두 소수 무한성에 대한 이해를 강화합니다. |
| Model | AIME24_ko | AIME24_en | MATH500_ko | MATH500_en |
|---|---|---|---|---|
| DeepSeek-R1-Distill-Llama-8B | 25.56 | 46.67 | 63.40 | 88.87 |
| DeepSeek-llama3.1-Bllossom-8B | 36.67 | 40.00 | 78.07 | 87.80 |
| DeepSeek-R1-Distill-Llama-70B | 58.89 | 70.00 | 88.53 | 93.73 |
| DeepSeek-llama3.3-Bllossom-70B | 62.22 | 65.56 | 88.40 | 93.33 |