home.social

#conjecture — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #conjecture, aggregated by home.social.

  1. The #Lonely #Runner #Conjecture explores the motion of n runners on a circular track of unit length, each starting at the same point with different constant speeds.

    It posits that for every runner, there exists a time when they are "lonely," meaning they are at a distance of at least 1/n from every other runner on the track.

    knowledgezone.co.in/kbits/6478

  2. #Dennis #Gaitsgory has dedicated the past 30 years to proving the #geometric #Langlands #conjecture.
    Over the decades, he and his collaborators have built an extensive body of work, forming the foundation of the new proof.
    Although the geometric Langlands program is highly abstract, it forges deep connections between different mathematical structures
    and has the potential to drive breakthroughs in theoretical physics, number theory, and even quantum computing.
    The #Breakthrough #Prize was established in 2012 by Sergey Brin (Google), Mark Zuckerberg (Facebook), and others to recognize outstanding researchers for their groundbreaking discoveries.
    It is awarded in the fields of life sciences, physics, and mathematics.
    In 2016, the Breakthrough Prize in Life Sciences was awarded to #Svante #Pääbo from the Max Planck Institute for Evolutionary Anthropology in Leipzig,
    and in 2022, to #Anthony #Hyman from the Max Planck Institute for Molecular Cell Biology and Genetics in Dresden.
    mpg.de/24476145/breakthrough-p

  3. #DidYouKnow: The #Lonely #Runner #Conjecture is an #Unsolved mystery in combinatorial number theory. It states that

    "n runners on a track of unit length, with constant speeds all distinct from one another, will each be lonely at some time - at least 1/n units away from all others."

    knowledgezone.co.in/kbits/6478

  4. #DidYouKnow: The #Lonely #Runner #Conjecture is an #Unsolved mystery in combinatorial number theory. It states that

    "n runners on a track of unit length, with constant speeds all distinct from one another, will each be lonely at some time - at least 1/n units away from all others."

    knowledgezone.co.in/kbits/6478

  5. #conjecture : an opinion, or judgment, formed on defective or presumptive evidence

    - French: conjecture

    - German: die Vermutung

    - Italian: congettura

    - Portuguese: conjetura

    - Spanish: conjetura

    ------------

    Try Christian's word chain building game @ wordwallgame.com

  6. “Shock! Shock! I learned yesterday that an open #problem I’d been working on for several weeks had just been solved by #Claude Opus 4.6 — #Anthropic’s hybrid #ReasoningModel that had been released three weeks earlier!

    It seems that I’ll have to revise my opinions about “#GenerativeAI” one of these days. What a joy it is to learn not only that my #conjecture has a nice #solution but also to celebrate this dramatic advance in #AutomaticDeduction and creative problem solving.” — #DonKnuth

    #CS / #ComputerScience <www-cs-faculty.stanford.edu/~k>

  7. #Conjecture: it is impossible to have #morality in the presence of #religion.

    Religious people cannot be moral. All their decisions are based on #dogma, so even if they do good, they only do so because they have to - often under threat of eternal damnation.

    Furthermore, dogma is unchangeable, so it is impossible for them to change their behavior when it turns out their “morals” (dogma) results in amoral or immoral outcomes.
  8. #conjecture : an opinion, or judgment, formed on defective or presumptive evidence

    - French: conjecture

    - German: die Vermutung

    - Italian: congettura

    - Portuguese: conjetura

    - Spanish: conjetura

    ------------

    Try Christian's word chain building game @ wordwallgame.com

  9. #DidYouKnow: Catalan's #Conjecture (or Mihăilescu's theorem) is a theorem in #Number #Theory that was conjectured by the mathematician Eugène Charles Catalan in 1844.

    It says that the difference between two perfect powers (where we ignore 0 and 1) is always more than 1, unless these powers are equal to 8 = 2^3 and 9 = 3^2.

    knowledgezone.co.in/kbits/64c6

  10. #DidYouKnow: The #Collatz #Conjecture, also known as the "hailstone conjecture" or the "3n + 1 problem," is one of the most famous unsolved problems in mathematics.

    The conjecture asks whether repeating two simple arithmetic operations will eventually transform every positive integer into 1

    knowledgezone.co.in/kbits/669a

  11. @n_dimension @dangoodin

    @n_dimension thanks so much for your comments. I have huge respect and gratitude for the many AI critics I follow here on Masto but I have wondered about that attitude of "AI is evil and we should avoid it."

    Thanks also for mentioning #conjecture and Connor Leahy - I was not aware of them. Here's a link to what Conjecture says about themselves.

    conjecture.dev/about

  12. @dangoodin

    Weird thing I observed in #infosec
    There is an incredible amount of disinterest/contempt for #AI amongst many practitioners.

    This contempt extends to willful ignorance about the subject.
    q.v. "stochastic parrots/bullshit machines" etc.

    Which, in a field with hundreds of millions of users, strikes me as highly unprofessional. Just the other day I read a blog post by a renown hacker (and likely earned a mute/block) "Why I don't use AI and you should not too".

    Connor Leahy, CEO of #conjecture is one of the few credible folks in the field.

    But to the question at hand.
    The prompts are superbly sanitised.
    In part by design, in part due to the fact that you are not connecting to a database but to a multidimensional vector data structure.

    The #prompt is how you get in through the backdoor. Though I haven't looked into fuzzing, but I suspect because of the tech, the old #sqlinjection tek and similar will not work.

    Long story short; It is literally impossible to build a secure #AI. By the virtue of the tech.
    #promptengineering is the key to open the back door to the knowledge tree.

    Then of course there are local models you can train on your own datasets. Including a stack of your old #2600magazine

    #hack #hacking #aisecurity #aisafety

  13. #conjecture : an opinion, or judgment, formed on defective or presumptive evidence

    - French: conjecture

    - German: die Vermutung

    - Italian: congettura

    - Portuguese: conjetura

    - Spanish: conjetura

    ------------

    Report an incorrect translation @ wordofthehour.org/r/translatio

  14. Fermat conjectured that for \(n\) a non-negative integer, all numbers of the form \(2^{2^n}+1\) are prime.

    Was there ever a worse conjecture in maths than that?

    #Maths #Math
    #MathsEd #MathEd
    #MathsChat #MathChat
    #Fermat #Conjecture
    #Primes #FermatPrimes

  15. 33-year-old mathematician Wang Hong from the Courant Institute of Mathematical Sciences (CIMS-NYU) has proved the century-old Kakeya conjecture in three dimensions with collaborator Joshua Zahl!

    The problem is rooted in the question: what's the smallest area that an infinitely thin needle can sweep out if it has to be turned to point in every possible direction?

    News:
    [1] scmp.com/news/china/science/ar
    [2] english.jagran.com/world/chine

    2023 piece from Quanta Magazine on their earlier progress on the problem:
    quantamagazine.org/new-proof-t

    @tao
    #WangHong #CIMS #NYU #JoshuaZahl #Kakeya #KakeyaConjecture #ThreeDimensions #Needle #Geometry #QuantaMagazine #Conjecture #AdvancingMaths #Maths #Mathematics #CenturyOld #Tao #TerenceTao

  16. “Shock! Shock! I learned yesterday that an open #problem I’d been working on for several weeks had just been solved by #Claude Opus 4.6 — #Anthropic’s hybrid #ReasoningModel that had been released three weeks earlier!

    It seems that I’ll have to revise my opinions about “#GenerativeAI” one of these days. What a joy it is to learn not only that my #conjecture has a nice #solution but also to celebrate this dramatic advance in #AutomaticDeduction and creative problem solving.” — #DonKnuth

    #CS / #ComputerScience <www-cs-faculty.stanford.edu/~k>

  17. “Shock! Shock! I learned yesterday that an open #problem I’d been working on for several weeks had just been solved by #Claude Opus 4.6 — #Anthropic’s hybrid #ReasoningModel that had been released three weeks earlier!

    It seems that I’ll have to revise my opinions about “#GenerativeAI” one of these days. What a joy it is to learn not only that my #conjecture has a nice #solution but also to celebrate this dramatic advance in #AutomaticDeduction and creative problem solving.” — #DonKnuth

    #CS / #ComputerScience <www-cs-faculty.stanford.edu/~k>

  18. “Shock! Shock! I learned yesterday that an open #problem I’d been working on for several weeks had just been solved by #Claude Opus 4.6 — #Anthropic’s hybrid #ReasoningModel that had been released three weeks earlier!

    It seems that I’ll have to revise my opinions about “#GenerativeAI” one of these days. What a joy it is to learn not only that my #conjecture has a nice #solution but also to celebrate this dramatic advance in #AutomaticDeduction and creative problem solving.” — #DonKnuth

    #CS / #ComputerScience <www-cs-faculty.stanford.edu/~k>

  19. “Shock! Shock! I learned yesterday that an open #problem I’d been working on for several weeks had just been solved by #Claude Opus 4.6 — #Anthropic’s hybrid #ReasoningModel that had been released three weeks earlier!

    It seems that I’ll have to revise my opinions about “#GenerativeAI” one of these days. What a joy it is to learn not only that my #conjecture has a nice #solution but also to celebrate this dramatic advance in #AutomaticDeduction and creative problem solving.” — #DonKnuth

    #CS / #ComputerScience <www-cs-faculty.stanford.edu/~k>