add problems from book: Bugeaud, Distribution Modulo One and Diophant…#3799
Merged
Paul-Lez merged 6 commits intogoogle-deepmind:mainfrom May 7, 2026
Merged
add problems from book: Bugeaud, Distribution Modulo One and Diophant…#3799Paul-Lez merged 6 commits intogoogle-deepmind:mainfrom
Paul-Lez merged 6 commits intogoogle-deepmind:mainfrom
Conversation
mo271
reviewed
May 3, 2026
Collaborator
mo271
left a comment
mo271
left a comment
There was a problem hiding this comment.
Thanks, interesting problems and lookd mathematically correct, just some suggestions
…nceDistribution.lean Co-authored-by: Moritz Firsching <firsching@google.com>
Contributor
Author
|
@mo271 In one of the commits I have a line Co-Authored-By: Claude Opus 4.7 (1M context) noreply@anthropic.com. Now the CI wants a CLA from that address... |
Collaborator
yeah, force pushing overwriting the author (or not mentioning Claude Opus 4.7 as co-author in a way that it git flagged by github) should do the trick |
Paul-Lez
added
the
awaiting-author
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
…ine Approximation
Plan to add more from the collection (>61 open problems).
NOTE. I'm using Claude Opus 4.7 (1M context) for proofs and review.