AI-assisted proof of optimal packing for 11 squares
Sources (1)
- [1]AI-assisted proof of optimal packing for 11 squaresHacker News (AI, 100+ points) · Oct 7, 02:10 PM
Extractive summary: sentences quoted from the sources.
Related
Paper
arXiv (AI, ML, NLP, CV, robotics, multi-agent)2d ago
SqueezeBench: Saturation-Resilient Evaluation of Mathematical Capability
Paper
PaperOpenAI News11 sources1d ago
Sharing AI progress in mathematics
9 outlets
Hacker News (AI, 100+ points)2d ago
What mathematicians should know about the Lean Theorem Prover: reliability & AI
Paper
arXiv (AI, ML, NLP, CV, robotics, multi-agent)5d ago
Lower Bounds for Parallel Diffusion Sampling
Paper