hxypqr

8 ms·

1.
by hxypqr 2y ago
Predicting the next character alone cannot achieve this kind of compression, because the probability distribution obtained from the training results is related to the corpus, and multi-scale compression and alignment cannot be fully learned
2.
by hxypqr 2y ago
The reasoning ability of Opus also has a clear ceiling
3.
by hxypqr 3y ago
Key insight is the finiteness of reasoning parts in planar geometry that can be quickly solved by the SAT, which often does not exist in most first-order and second-order logics, such as number theory, algebra, or functional analysis
4.
by hxypqr 3y ago
The problem is that using LLM as a role for drawing auxiliary lines is too inefficient. It is hard to imagine people deploying a large number of machines to solve a simple IMO problem. This field must be in the early stage of development, a
5.
by hxypqr 3y ago
The problem is that LLM as a role for drawing auxiliary lines is too inefficient. It is hard to imagine people deploying a large number of machines to solve a simple IMO problem. This field must be in the early stage of development, and muc
6.
by hxypqr 3y ago
Most of Dynamic programming is just a method of reducing computational complexity by changing the noun objects in first-order logic (or second-order logic, advanced version) to walk through the answers of unfinished tasks using completed ta
7.
by hxypqr 3y ago
mixtral 7*8B does indeed have this characteristic. It tends to disregard the requirement for structured output and often outputs unnecessary things in a very casual manner. However, I have found that models like qwen 72b or others have bett
8.
by hxypqr 3y ago
Temperature and light may create illusions in LLM. A potential available solution to this is to establish a knowledge graph based on sensor signals, where LLM is used to understand the speech signals given by humans and then interpret these
9.
by hxypqr 3y ago
This is a very insightful viewpoint. In this situation, I believe it is necessary to use NER to connect the LLM module and the ML module.
10.
by hxypqr 3y ago
No matter what n is, the answer to this problem on an n*n chessboard is basically cn^2. Due to the finitness of this problem, the optimal solution will repeat in a certain pattern in two directions. Additionally, c should be slightly smalle
11.
by hxypqr 3y ago
The number .001% should be changed to .1% or 1%.
12.
by hxypqr 3y ago
Too optimistic, how did dinosaurs become extinct, and why won't similar things happen to humans? Even if AI is a problem inherent to humans, the core issue and the collision of asteroids with Earth are not fundamentally different, refl
13.
by hxypqr 3y ago
Obviously, the cost of using LLM to solve this problem is relatively high. At most, it can only treat LLM as one of the signals instead of processing all the information. Combining LLM with tree models or graph models and adding NER technol
14.
by hxypqr 3y ago
The most important thing for a guitar teacher to do is to convince potential students to choose you as their teacher, and the most cost-effective way to achieve this goal is through the internet. You can try posting some of your understandi
15.
by hxypqr 3y ago
OPENAI is trying to release these views to confuse its opponents, I can clearly feel that the day when mathematics as a profession is disrupted is not far away from us, 5-10 years
16.
by hxypqr 3y ago
This is not guesswork, if one evening you lie in the garden feeling bad because of a breakup or other reasons and watch the shadow of the lights, you can get similar results. Introducing Fourier transform into optics can indeed explain some
17.
by hxypqr 3y ago
This is just fake news. In reality, there is no difference between what they actually do and training a three-layer CNN with one layer of FCN to predict what number should be filled in the next cell of a Sudoku problem
18.
Method for generating structured images without using diffusion models？
2 points by hxypqr 3y ago|0 comments
19.
by hxypqr 3y ago
I haven't looked at the code, but I wanted to ask in advance if it is possible to incorporate lean4's formal mathematical capabilities into the current architecture to obtain more precise answers when processing mathematical PDF d
20.
Can LLM be trained like training Go AI? Such as alphago
2 points by hxypqr 3y ago|3 comments
21.
by hxypqr 3y ago
Drones may be an example, they played a role in the Russia-Ukraine war