google-deepmind / google-deepmind/superhuman

[BUG] Answerbench_v2--Answer check:geometry-004, number_theory-048

Open
#14 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Lean
Stars
800
Forks
85
PR merge metrics
No merged PRs in 30d

Description

geometry-004:answer 45752(original is 4 and 5, more reasonable)
number_theory-048: Compared to the previous version, the direction of the inequality sign ≤ vs ≥ is completely opposite.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.