|
Terence Tao on "Math 2.0" and the need for a holistic approach
|
|
6
|
2362
|
November 3, 2026
|
|
Could Latent Representation Geometry Guide AI Mathematical Reasoning?
|
|
0
|
52
|
October 30, 2026
|
|
The Exponential Time Hypothesis is False
|
|
2
|
12217
|
October 27, 2026
|
|
First look at mathematics manuscripts from an internal frontier model at OpenAI
|
|
18
|
24029
|
October 23, 2026
|
|
Proposal: Publishing model-discovered reasoning dead-ends and intermediate sub-problems from math proof datasets
|
|
1
|
59
|
October 10, 2026
|
|
Codex desktop app: user-authored LaTeX does not render
|
|
1
|
707
|
April 6, 2026
|
|
A maths question for porbablistic optimisers
|
|
0
|
92
|
June 17, 2025
|
|
Has the mathematics ability of chatgpt recently been upgraded?
|
|
16
|
2378
|
June 11, 2025
|
|
A TeX engine to render TeX directly in a canvas
|
|
2
|
296
|
May 18, 2025
|
|
Testing ο1 and o3-mini: Is a Tetrahedron Always Guaranteed to Have an Inscribed Sphere?
|
|
0
|
115
|
February 24, 2025
|
|
Request: Delimiter Support for AI-Generated Content in Discourse Math (LaTeX)
|
|
2
|
279
|
February 15, 2025
|
|
ChatGPT's suggestions regarding how to fix its math
|
|
0
|
253
|
December 21, 2024
|
|
Can a tool like ChatGPT effectively solve Sudoku puzzles?
|
|
0
|
162
|
December 9, 2024
|
|
Issue with math equations execution by ChatGPT and proposed way to fix it
|
|
0
|
82
|
December 4, 2024
|
|
Transcribing large equations in gpt
|
|
1
|
167
|
November 24, 2024
|
|
What Prevents Us From Achieving Greater Data Compression?
|
|
1
|
203
|
November 13, 2024
|
|
Everything = Maths * Community2
|
|
0
|
269
|
November 3, 2024
|
|
Spontaneous Association Experiment Review
|
|
54
|
1480
|
October 31, 2024
|
|
Inline latex math rendering on Android app is broken (but block latex rendering is OK)
|
|
1
|
442
|
August 13, 2024
|
|
Prompting to get better simple algebra results
|
|
1
|
199
|
August 9, 2024
|
|
Verification of the first order logic rules for quantification
|
|
1
|
169
|
July 29, 2024
|
|
Math mode not always working on Android
|
|
0
|
89
|
June 25, 2024
|
|
GPT-4 Doesn't know what common logarithms are; it only knows natural logs
|
|
0
|
145
|
May 3, 2024
|
|
Occam - LLMs and verification
|
|
2
|
1103
|
April 19, 2024
|
|
Looking to understand how cognitive strategies are employed in AI
|
|
5
|
1331
|
February 28, 2024
|
|
Mathematics and ChatGPT 3.5 Turbo
|
|
1
|
732
|
February 20, 2024
|