“Notably, O3-MINI, despite being one of the best reasoning models, frequently skipped essential proof steps by labeling them as “trivial”, even when their validity was crucial.”

  • TinyTimmyTokyo@awful.systems
    link
    fedilink
    English
    arrow-up
    0
    ·
    6 hours ago

    “Thought process”

    “Intuitively”

    “Figured out”

    “Thought path”

    I miss the days when the consensus reaction to Blake Lemoine was to point and laugh. Now the people anthropomorphizing linear algebra are being taken far too seriously.