|
Codex desktop app: user-authored LaTeX does not render
|
|
1
|
220
|
April 6, 2026
|
|
Testing ο1 and o3-mini: Is a Tetrahedron Always Guaranteed to Have an Inscribed Sphere?
|
|
0
|
94
|
February 24, 2025
|
|
Request: Delimiter Support for AI-Generated Content in Discourse Math (LaTeX)
|
|
2
|
209
|
February 15, 2025
|
|
What Prevents Us From Achieving Greater Data Compression?
|
|
1
|
171
|
November 13, 2024
|
|
Everything = Maths * Community2
|
|
0
|
110
|
November 3, 2024
|
|
Spontaneous Association Experiment Review
|
|
54
|
959
|
October 31, 2024
|
|
Prompting to get better simple algebra results
|
|
1
|
162
|
August 9, 2024
|
|
Verification of the first order logic rules for quantification
|
|
1
|
132
|
July 29, 2024
|
|
Occam - LLMs and verification
|
|
2
|
1020
|
April 19, 2024
|
|
Looking to understand how cognitive strategies are employed in AI
|
|
5
|
665
|
February 28, 2024
|