"monic" is a separate switch from the example functions radio-selector. Enabling "monic" removes the leading coefficient.
9,503 karma · joined January 27, 2017
> We also give an injective polynomial construction for universal hashing that uses N multiplications to hash 2N values with a single random key. This improves the best previous construction by Daniel J. Bernstein (this http URL).
Never believe that anti-Semites are completely unaware of the absurdity of their replies. They know that their remarks are frivolous, open to challenge. But they are amusing themselves, for it is their adversary who is obliged to use words responsibly, since he believes in words. The anti-Semites have the right to play. They even like to play with discourse for, by giving ridiculous reasons, they discredit the seriousness of their interlocutors. They delight in acting in bad faith, since they seek not to persuade by sound argument but to intimidate and disconcert. If you press them too closely, they will abruptly fall silent, loftily indicating by some phrase that the time for argument is past.”
It seems a little silly, that suicide-relared events are well predicted by people announcing their nearness to suicide. It's useful in the sense that it shows that people, at least those people who consented to being monitored, which is a major confounder, are announcing their intent to anyone who is listening.
augmented Hilbert's problems of 1900.
Surely mathematicians are creative enough to ask new questions?
If not, then the next set of challenges will be to find questions to ask!
If an AI solves a problem in an unenlightening way, then there's no reason for mathematicians to stop studying it. Pythagoream Theorem has hundreds of different proofs!
If an AI solves a problem in an enlightening way, mathematicians should study it and propose extensions.
There's an interesting commentary about this: https://mathstodon.xyz/@tao/117237320796901560
> famous mathematician (Gauss?) dismissing interest in Fermat's Last Theorem claiming that he could crank out problems of equivalent interest.
Web search turns up Gauss's comment, with a bit more nuance: "I confess that Fermat's Theorem as an isolated proposition has very little interest for me, because I could easily lay down a multitude of such propositions, which one could neither prove nor dispose of." (https://mathshistory.st-andrews.ac.uk/Biographies/Gauss/quot...)
Lean is not for humans.
That rule doesn't make sense.
What if the answer is AORTA, and you want to guess ALBUM and then ALPHA?
I could prove anything by claiming I completed a trivial-to-explain exhaustive search. The only support or refutation would be someone doing their own search. It's a very weak foundation.
We already had the ABC conjecture crisis: A theorem with a human-written proof so complex that no one besides the author can understand it. Some people claim to have refuted it. Most mathematicians are unqualified to decide.
The core of Lean got a lot less correct when a well-meaning AI system probed Lean for corner cases (bugs) that would "prove" a false conjecture. Corner cases so arcane that no human exploit in a proof. Basically, humans are too stupid to break human-created Lean, but the AI is not.
Here is the form:
https://source.android.com/opensourcerequest
This is interesting:
> We might charge you a fee to cover the cost of processing. Your request must be sent according to whichever of the following rules applies:
> Within three years of the date you received the product from Google that included the component or binary files that are the subject of your request.
That "three years" is the minimum named in the GPLv2: https://opensource.org/license/gpl-2.0
https://claude.ai/share/ac747c6d-2a62-40b7-b33e-06a94cf34344