MathDB2 problems
- 0 votes0 replies0 views
The conjecture that natural-language-trained large language models cannot reliably reason at professional mathematics
Large language models (LLMs) are systems trained to generate text from natural-language data. Natural-language reasoning conjecture. Large language models (LLMs) trained on natural…
- 0 votes0 replies0 views
The conjecture that understanding counterexamples fundamentally is important in mathematics
The idea of a counterexample is the mathematical use of a particular case to show that a general statement is false. Conjecture on understanding counterexamples. It is important to…