Testing ο1 and o3-mini: Is a Tetrahedron Always Guaranteed to Have an Inscribed Sphere?
|
|
0
|
21
|
February 24, 2025
|
Request: Delimiter Support for AI-Generated Content in Discourse Math (LaTeX)
|
|
2
|
65
|
February 15, 2025
|
What Prevents Us From Achieving Greater Data Compression?
|
|
1
|
71
|
November 13, 2024
|
Everything = Maths * Community2
|
|
0
|
46
|
November 3, 2024
|
Spontaneous Association Experiment Review
|
|
54
|
253
|
October 31, 2024
|
Prompting to get better simple algebra results
|
|
1
|
90
|
August 9, 2024
|
Verification of the first order logic rules for quantification
|
|
1
|
47
|
July 29, 2024
|
Occam - LLMs and verification
|
|
2
|
796
|
April 19, 2024
|
Looking to understand how cognitive strategies are employed in AI
|
|
5
|
533
|
February 28, 2024
|