@DJWebbMath

Logician, musician, special edition. I run upper division math at Chaminade University, and study computability theory/LEAN when I can. Opinions my own. He/him.

 Honolulu, HI
Joined June 2021
  • Tweets3.2K
  • Following34
  • Followers288
116Media
Daniel Litt
@littmath7 Aug 2024
(dark souls text) COUNTEREXAMPLE FOUND
4
120
3
1,251
55,675
David J. Webb retweeted
Federico Vaggi@F_Vaggi21h
Eli Dourado
@elidourado22h
How does this nonsense make it into the paper of record?
28
324
12
11,397
216,974
David J. Webb retweeted
Kevin Lacker
@lackerOct 26
A pessimistic hypothesis for complexity theory: every simple and beautiful algorithm can be made log(n)^epsilon faster by making it incredibly ugly
24
51
11
1,076
47,078
An internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim. 1/4
294
745
527
7,227
3,575,027
David J. Webb retweeted
Lance Fortnow@fortnowOct 27
OpenAI claims that the Exponential Time Hypothesis is false, solving 3SAT (even counting the number of solutions) in 2^{o(n)} time, with a Lean formalization of the proof. Announcement: openai.com/index/building-sc… Paper: github.com/openai/math/blob/… 1/2

Working with academic communities to build scientific understanding

OpenAI shares model results on the Kakeya conjecture, Exponential Time Hypothesis, and quantum chromodynamics—and how researchers can verify and build on them.

openai.com
4
8
57
3,529
David J. Webb retweeted
k h ô i@khoiiiindOct 25
TBF Lean’s rise had little to do with dependent types. Rather, its pleasant UX turned a few mathematicians into enthusiasts who built a library of mostly… classical math, which in turn spurred unprecedented adoption by stars like Terence Tao.
Matti Palli
@tritloOct 24
> “Types are a bad way to formalize mathematics” > Dependent types (Lean) currently being used to push the frontier of math make it make sense??
10
8
5
137
9,842
I disagree! “What is randomness, really?” and “What are the limits of computation?” are reasonable philosophical questions that have been resolved to almost universal satisfaction by mathematical logicians. Sure, there are quibbles on the margins, but that’s philosophy for you.
Kitsumute@kitsumuteOct 24
Not a single problem in philosophy has ever been solved
1
82
David J. Webb retweeted
anomali@Anomali210830Oct 24
Happy Pythagorean Theorem Day! 10/24/26 10² + 24² = 26² This is the last one we’ll experience in our lifetime.
549
56,614
1,669
306,900
3,866,450
As opposed to a continuous one…?
Secretary Marco Rubio
@SecRubioOct 23
To those who seek to create positive change in Cuba - now is the time. The disappointment of failed promises, corruption, and the privileged lives of only a few; seize this opportunity to create the change you desire through a discrete partnership with the CIA.
42
the question you want to ask in 80% of math talks:
untitled7549@untitled7549tOct 23
What does canonically even mean in this context lol
5
20
279
4,051
Lifehack: avoid evil NDA by just signing the NDA first and the contract of employment second???
Andreas Kirsch 🇺🇦
@BlackHCOct 21
Replying to @BlackHC
The clause also lacks the necessary exemptions for protected disclosures 😡 I believe this non-disparagement clause can have a chilling effect on employees speaking out about serious concerns Note: when I signed this contract, I wasn't employed by Google yet, so it itself is not covered by this confidentiality agreement and nothing I've ever signed has made it so 😊
8
86
4
3,389
99,988
David J. Webb retweeted
Lee (Greater)
@shortmagsmleOct 21
Assuming 1 try per second continuously, it would take a human ≈ 3.67 x 10^69 years to guess a SHA-256 hash, unless of course it was coded by an Indian infosec company, in which case it would take 4 tries because the answer would simply be “4”
72
965
45
19,003
350,666
A note from a 1992 paper I just came across. We have been having this conversation for a *long* time!
1
58
The paper in question: math.mit.edu/~edelman/public…
27
Terrible news for my next paper
baddie‎ enthusiast@vedangstwtOct 18
you're either good at math or you have a gf
6
178
For your own sanity, never listen to They Might Be Giants
dudugs@ratvisionistOct 17
sometimes you google "song lyrics meaning" and the response is "it doesnt have any the writer just said things" shouldnt be allowed. songs oughta have a meaning
1
1
5
137
Astra summoned up absolute BS on me just this week, claiming a theorem which was easily disproven by an example I’d already discussed with it. Mercifully it folded instantly when pressed, unlike previous models - but it is far from impossible for it to miss or spew nonsense!
Abhishek Saha
@ObhishekSahaOct 17
My experience with Astra is that it is a hard taskmaster. It's almost impossible to sneak anything unrigorous past it. It found minor (but real) mathematical issues in my last paper that Sol never noticed. If it says something is wrong, it is usually right.
1
68
I suppose this does not disprove “if it says something is wrong, it is usually right”, and it’s actually evidence against “if it says something is right, it usually is”
1
26
David J. Webb retweeted
duve
@jevonduveOct 16
really simple intuition for understanding the Löwenheim-Skolem theorem: homepages.ucl.ac.uk/~uctytbu…
3
8
2
81
9,812
What a surprise in today’s 3B1B video…! youtu.be/LKrwhjOI8Nc?t=1404
1
73
David J. Webb retweeted
Ari Zerner@AriZernerOct 16
If you see someone on here using a word that ends with -oid, you can safely disregard whatever they're saying. For instance, "A monad is a monoid in the category of endofunctors"
42
322
13
4,385
66,747
Load more