Instagram story viewer> @_stephgreenee> Post
Steph Greene(_stephgreenee)'s profile avatar

Steph Greene

@_stephgreenee

4 months ago
Photo by Steph Greene on July 05, 2026.
Photo by Steph Greene on July 05, 2026.
Photo by Steph Greene on July 05, 2026.
Photo by Steph Greene on July 05, 2026.
Photo by Steph Greene on July 05, 2026.
Photo by Steph Greene on July 05, 2026.
Photo by Steph Greene on July 05, 2026.
Download
3
Posted On: July 5th 2026, 10:02 am
Stephy & The Pets
Comments (3)
briannamaygreene 4 months ago

briannamaygreene

Gimmie them all

More posts

Linköping University professor Peter Jonsson is set to have his work presented in two weeks’ time at one of the most prestigious conferences in theoretical computer science. As of Monday, much of that work is “dead,” he says, after AI showed that a 27-year-old hypothesis underpinning it is wrong. Both OpenAI and Anthropic claimed this week to have disproved the exponential time hypothesis (ETH). Vast swaths of theoretical computer science research on complexity and algorithm design have been built on the premise that the effort it takes to solve certain problems increases exponentially with the size of the problem. Jonsson expects his predicament will be “very common” at the IEEE Symposium on Foundations of Computer Science, where his work will be presented by one of his coauthors. “People will start the talks: ‘ETH is false, half of my paper does not work,’” he says. It’s a vexing problem, Jonsson says, “but at the same time, we learn a lot from it. And this is what science is about.” Researchers haven’t independently verified, let alone had time to fully understand, the AI-produced proofs, which both firms have published on GitHub in both natural language and its machine-checkable Lean format. OpenAI has asked the UC Santa Barbara computer scientists who originally proposed the hypothesis, plus an MIT academic who has refuted a version of ETH, to rally researchers to unpack the proofs. So far, this effort includes a Google form asking for volunteers and feedback, and a commitment from OpenAI to fund a conference on the topic. Tap the 🔗 in bio to read the full story.
♣️
THAILAND FINAL SQUAD! 🇹🇭👀 23 players selected for the November International Friendlies at the 52nd King's Cup 2026! FIXTURES: 🇹🇭 Thailand vs Brunei Darussalam 🇧🇳 🇴🇲 Oman vs Tajikistan 🇹🇯 THE ROAD TO THE KING'S CUP BEGINS NOW! 👏
last halloween post sorry
Should i cut my hair @blondeshave #undercut #bobhaircut #headshave #baldgirls #undercutgirls
We gave up an off day so we could Rock Bristol on 10/27/26… no other venues could work within our schedule so we relied on my bass assassin/Tour manager @jdubrails to set up a pop up at his favorite pub in the City!! Maximum respect to everybody who showed up we had an amazing time!!! #Chali2na #JonGang #UKEUTour
back to up